Iosif Petrakis

Available identifiers

zbMath Open petrakis.iosifMaRDI QIDQ290634

List of research outcomes

Publication	Date of Publication	Type
Pre-measure spaces and pre-integration spaces in predicative Bishop-Cheng measure theory	2024-11-12	Paper
Sets completely separated by functions in Bishop set theory	2024-08-19	Paper
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
Constructive topology of Bishop spaces	2016-03-11	Paper
Completely Regular Bishop Spaces	2015-10-20	Paper
The Grothendieck computability model	N/A	Paper

Research outcomes over time

This page was built for person: Iosif Petrakis