| Families of Sets in Bishop Set Theory I Petrakis Ludwig-Maximilians-Universitaet Munich, 2020 | 27 | 2020 |
| Constructive topology of Bishop spaces I Petrakis lmu, 2015 | 26 | 2015 |
| Dependent sums and dependent products in Bishop’s set theory I Petrakis 24th International Conference on Types for Proofs and Programs (TYPES 2018), 2019 | 24 | 2019 |
| The Urysohn extension theorem for Bishop spaces I Petrakis International Symposium on Logical Foundations of Computer Science, 299-316, 2015 | 20 | 2015 |
| A constructive function-theoretic approach to topological compactness I Petrakis Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer …, 2016 | 17 | 2016 |
| Completely regular Bishop spaces I Petrakis Conference on Computability in Europe, 302-312, 2015 | 17 | 2015 |
| Direct spectra of Bishop spaces and their limits I Petrakis Logical Methods in Computer Science 17, 2021 | 16 | 2021 |
| Constructive uniformities of pseudometrics and Bishop topologies I Petrakis Journal of Logic and Analysis 11, 2019 | 16 | 2019 |
| Embeddings of Bishop spaces I Petrakis Journal of Logic and Computation 30 (1), 349-379, 2020 | 15 | 2020 |
| Borel and Baire sets in Bishop spaces I Petrakis Conference on Computability in Europe, 240-252, 2019 | 12 | 2019 |
| Proof-relevance in Bishop-style constructive mathematics I Petrakis Mathematical Structures in Computer Science 32 (1), 1-43, 2022 | 11 | 2022 |
| Functions of Baire class one over a Bishop topology I Petrakis Conference on Computability in Europe, 215-227, 2020 | 10 | 2020 |
| A direct constructive proof of a Stone-Weierstrass theorem for metric spaces I Petrakis Conference on Computability in Europe, 364-374, 2016 | 10 | 2016 |
| Pre-measure spaces and pre-integration spaces in predicative Bishop-Cheng measure theory I Petrakis, M Zeuner arXiv preprint arXiv:2207.08684, 2022 | 9 | 2022 |
| McShane-Whitney extensions in constructive analysis I Petrakis Logical Methods in Computer Science 16, 2020 | 9 | 2020 |
| Bases of pseudocompact Bishop spaces I Petrakis Handbook of Constructive Mathematics 185, 359, 2023 | 8 | 2023 |
| Closed subsets in Bishop topological groups I Petrakis Theoretical Computer Science 935, 128-143, 2022 | 7 | 2022 |
| Algebras of complemented subsets I Petrakis, D Wessel Conference on Computability in Europe, 246-258, 2022 | 7 | 2022 |
| Chu representations of categories related to constructive mathematics I Petrakis arXiv preprint arXiv:2106.01878, 2021 | 6 | 2021 |
| Introduction to Banach Algebras and the Gelfand-Naimark Theorems S Petrakis University of thessalonki, 2008 | 6 | 2008 |
