Iosif Petrakis

28 papers A* 1C 7Misc 2Journal 16Unranked 2
YearRankTypeTitle / Venue / Authors
2025 J jnl
A Predicative Approach to the Constructive Integration Theory of Locally Compact Metric Spaces.
J. Log. Anal.
Fabian Lukas Grubmüller, Iosif Petrakis
2025 J jnl
Strong negation in the theory of computable functionals TCF.
Log. Methods Comput. Sci.
Nils Köpp, Iosif Petrakis
2025 J jnl
The Grothendieck computability model.
Theor. Comput. Sci.
Luis Gambarte, Iosif Petrakis
2024 J jnl
Complemented subsets and Boolean-valued, partial functions.
Comput.
Daniel Misselbeck-Wessel, Iosif Petrakis
2024 J jnl
Pre-measure spaces and pre-integration spaces in predicative Bishop-Cheng measure theory.
Log. Methods Comput. Sci.
Iosif Petrakis, Max Zeuner
2024 — conf
The Grothendieck Computability Model.
ICTCS
Luis Gambarte, Iosif Petrakis
2022 C conf
Algebras of Complemented Subsets.
CiE
Iosif Petrakis, Daniel Misselbeck-Wessel
2022 J jnl
Closed subsets in Bishop topological groups.
Theor. Comput. Sci.
Iosif Petrakis
2022 Misc conf
Computability Models over Categories and Presheaves.
LFCS
Iosif Petrakis
2022 J jnl
Proof-relevance in Bishop-style constructive mathematics.
Math. Struct. Comput. Sci.
Iosif Petrakis
2022 J jnl
Strict computability models over categories and presheaves.
J. Log. Comput.
Iosif Petrakis
2022 J jnl
Strong negation in the theory of computable functionals TCF.
CoRR
Nils Köpp, Iosif Petrakis
2021 J jnl
Direct spectra of Bishop spaces and their limits.
Log. Methods Comput. Sci.
Iosif Petrakis
2020 J jnl
Embeddings of Bishop spaces.
J. Log. Comput.
Iosif Petrakis
2020 C conf
Functions of Baire Class One over a Bishop Topology.
CiE
Iosif Petrakis
2020 J jnl
McShane-Whitney extensions in constructive analysis.
Log. Methods Comput. Sci.
Iosif Petrakis
2019 C conf
Borel and Baire Sets in Bishop Spaces.
CiE
Iosif Petrakis
2019 J jnl
Constructive uniformities of pseudometrics and Bishop topologies.
J. Log. Anal.
Iosif Petrakis
2018 — conf
Dependent Sums and Dependent Products in Bishop's Set Theory.
TYPES
Iosif Petrakis
2017 C conf
A Density Theorem for Hierarchies of Limit Spaces over Separable Metric Spaces.
TAMC
Iosif Petrakis
2017 C conf
McShane-Whitney Pairs.
CiE
Iosif Petrakis
2016 C conf
A Direct Constructive Proof of a Stone-Weierstrass Theorem for Metric Spaces.
CiE
Iosif Petrakis
2016 A* conf
A constructive function-theoretic approach to topological compactness.
LICS
Iosif Petrakis
2016 J jnl
Editorial.
FLAP
Hannes Leitgeb, Iosif Petrakis, Peter Schuster, Helmut Schwichtenberg
2016 J jnl
Limit spaces with approximations.
Ann. Pure Appl. Log.
Iosif Petrakis
2016 Misc conf
The Urysohn Extension Theorem for Bishop Spaces.
LFCS
Iosif Petrakis
2015 C conf
Completely Regular Bishop Spaces.
CiE
Iosif Petrakis
2012 J jnl
The Contrapositive of Countable Choice for Inhabited Sets of Naturals.
J. Univers. Comput. Sci.
Iosif Petrakis