Iosif Petrakis

28 papers A* 1C 7Misc 2Journal 16Unranked 2

Year	Rank	Type	Title / 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