Iosif Petrakis

Publication Activity (10 Years)

Years Active: 2012-2022
Publications (10 Years): 20

Top Topics

Nearest Neighbor Queries

Topological Spaces

Top Venues

J. Log. Comput.

Log. Methods Comput. Sci.

Publications

Nils Köpp, Iosif Petrakis
Strong negation in the theory of computable functionals TCF. CoRR (2022)
Iosif Petrakis
Closed subsets in Bishop topological groups. Theor. Comput. Sci. 935 (2022)
Iosif Petrakis
Proof-relevance in Bishop-style constructive mathematics. Math. Struct. Comput. Sci. 32 (1) (2022)
Iosif Petrakis, Daniel Wessel
Algebras of Complemented Subsets. CiE (2022)
Iosif Petrakis
Computability Models over Categories and Presheaves. LFCS (2022)
Iosif Petrakis
Strict computability models over categories and presheaves. J. Log. Comput. 32 (8) (2022)
Iosif Petrakis
Direct spectra of Bishop spaces and their limits. Log. Methods Comput. Sci. 17 (2) (2021)
Iosif Petrakis
Embeddings of Bishop spaces. J. Log. Comput. 30 (1) (2020)
Iosif Petrakis
Functions of Baire Class One over a Bishop Topology. CiE (2020)
Iosif Petrakis
McShane-Whitney extensions in constructive analysis. Log. Methods Comput. Sci. 16 (1) (2020)
Iosif Petrakis
Constructive uniformities of pseudometrics and Bishop topologies. J. Log. Anal. 11 (2019)
Iosif Petrakis
Borel and Baire Sets in Bishop Spaces. CiE (2019)
Iosif Petrakis
Dependent Sums and Dependent Products in Bishop's Set Theory. TYPES (2018)
Iosif Petrakis
McShane-Whitney Pairs. CiE (2017)
Iosif Petrakis
A Density Theorem for Hierarchies of Limit Spaces over Separable Metric Spaces. TAMC (2017)
Iosif Petrakis
A constructive function-theoretic approach to topological compactness. LICS (2016)
Iosif Petrakis
The Urysohn Extension Theorem for Bishop Spaces. LFCS (2016)
Iosif Petrakis
Limit spaces with approximations. Ann. Pure Appl. Log. 167 (9) (2016)
Iosif Petrakis
A Direct Constructive Proof of a Stone-Weierstrass Theorem for Metric Spaces. CiE (2016)
Hannes Leitgeb, Iosif Petrakis, Peter Schuster, Helmut Schwichtenberg
Editorial. FLAP 3 (4) (2016)
Iosif Petrakis
Completely Regular Bishop Spaces. CiE (2015)
Iosif Petrakis
The Contrapositive of Countable Choice for Inhabited Sets of Naturals. J. Univers. Comput. Sci. 18 (20) (2012)