Iosif Petrakis

zbMath Openpetrakis.iosifMaRDI QIDQ290634

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

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
scientific article; zbMATH DE number 7561488 (Why is no real title available?)	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
scientific article; zbMATH DE number 7168154 (Why is no real title available?)	2020-02-17	Paper
Constructive uniformities of pseudometrics and Bishop topologies	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
The contrapositive of countable choice for inhabited sets of naturals	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