Iosif Petrakis

Available identifiers

zbMath Open petrakis.iosifMaRDI QIDQ290634

List of research outcomes

Publication	Date of Publication	Type
Topologies of open complemented subsets	2023-12-28	Paper
Bases of Pseudocompact Bishop Spaces	2023-08-11	Paper
Categories with dependent arrows	2023-03-26	Paper
Strict computability models over categories and presheaves	2023-01-04	Paper
Functions of Baire class one over a Bishop topology	2022-12-16	Paper
Proof-relevance in Bishop-style constructive mathematics	2022-12-09	Paper
Algebras of complemented subsets	2022-12-07	Paper
Closed subsets in Bishop topological groups	2022-10-14	Paper
Strong negation in the theory of computable functionals TCF	2022-10-11	Paper
Sets completely separated by functions in Bishop Set Theory	2022-08-16	Paper
https://portal.mardi4nfdi.de/entity/Q5091143	2022-07-21	Paper
Pre-measure spaces and pre-integration spaces in predicative Bishop-Cheng measure theory	2022-07-18	Paper
Computability models over categories and presheaves	2022-07-01	Paper
Constructive Combinatorics of Dickson's Lemma	2022-04-24	Paper
Univalent typoids	2022-04-24	Paper
Families of Sets in Bishop Set Theory	2021-09-09	Paper
From the Sigma-type to the Grothendieck construction	2021-09-09	Paper
Chu representations of categories related to constructive mathematics	2021-06-03	Paper
Direct spectra of Bishop spaces and their limits	2021-05-25	Paper
Computability models over categories	2021-05-14	Paper
Closed subsets in Bishop topological groups	2021-03-08	Paper
Borel and Baire sets in Bishop spaces	2020-05-12	Paper
Embeddings of Bishop spaces	2020-04-29	Paper
https://portal.mardi4nfdi.de/entity/Q5216312	2020-02-17	Paper
https://portal.mardi4nfdi.de/entity/Q5224157	2019-07-19	Paper
A constructive function-theoretic approach to topological compactness	2018-04-23	Paper
McShane-Whitney extensions in constructive analysis	2018-04-18	Paper
McShane-Whitney pairs	2017-08-04	Paper
The Urysohn Extension Theorem for Bishop Spaces	2017-07-21	Paper
A Density Theorem for Hierarchies of Limit Spaces over Separable Metric Spaces	2017-05-19	Paper
A Direct Constructive Proof of a Stone-Weierstrass Theorem for Metric Spaces	2016-08-17	Paper
https://portal.mardi4nfdi.de/entity/Q3177930	2016-07-08	Paper
Limit spaces with approximations	2016-06-03	Paper
https://portal.mardi4nfdi.de/entity/Q2794832	2016-03-11	Paper
Completely Regular Bishop Spaces	2015-10-20	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Iosif Petrakis