Iosif Petrakis

According to our database, Iosif Petrakis authored at least 25 papers between 2012 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2024

Pre-measure spaces and pre-integration spaces in predicative Bishop-Cheng measure theory.

Iosif Petrakis, Max Zeuner

Log. Methods Comput. Sci., 2024

Complemented subsets and Boolean-valued, partial functions.

Daniel Misselbeck-Wessel, Iosif Petrakis

Comput., 2024

The Grothendieck Computability Model.

Luis Gambarte, Iosif Petrakis

Proceedings of the 25th Italian Conference on Theoretical Computer Science, 2024

2022

Closed subsets in Bishop topological groups.

Iosif Petrakis

Theor. Comput. Sci., 2022

Proof-relevance in Bishop-style constructive mathematics.

Iosif Petrakis

Math. Struct. Comput. Sci., 2022

Strict computability models over categories and presheaves.

Iosif Petrakis

J. Log. Comput., 2022

Strong negation in the theory of computable functionals TCF.

Nils Köpp, Iosif Petrakis

CoRR, 2022

Computability Models over Categories and Presheaves.

Iosif Petrakis

Proceedings of the Logical Foundations of Computer Science - International Symposium, 2022

Algebras of Complemented Subsets.

Iosif Petrakis, Daniel Misselbeck-Wessel

Proceedings of the Revolutions and Revelations in Computability, 2022

2021

Direct spectra of Bishop spaces and their limits.

Iosif Petrakis

Log. Methods Comput. Sci., 2021

2020

Embeddings of Bishop spaces.

Iosif Petrakis

J. Log. Comput., 2020

McShane-Whitney extensions in constructive analysis.

Iosif Petrakis

Log. Methods Comput. Sci., 2020

Functions of Baire Class One over a Bishop Topology.

Iosif Petrakis

Proceedings of the Beyond the Horizon of Computability, 2020

2019

Constructive uniformities of pseudometrics and Bishop topologies.

Iosif Petrakis

J. Log. Anal., 2019

Borel and Baire Sets in Bishop Spaces.

Iosif Petrakis

Proceedings of the Computing with Foresight and Industry, 2019

2018

Dependent Sums and Dependent Products in Bishop's Set Theory.

Iosif Petrakis

Proceedings of the 24th International Conference on Types for Proofs and Programs, 2018

2017

A Density Theorem for Hierarchies of Limit Spaces over Separable Metric Spaces.

Iosif Petrakis

Proceedings of the Theory and Applications of Models of Computation, 2017

McShane-Whitney Pairs.

Iosif Petrakis

Proceedings of the Unveiling Dynamics and Complexity, 2017

2016

Editorial.

Hannes Leitgeb, Iosif Petrakis, Peter Schuster, Helmut Schwichtenberg

FLAP, 2016

Limit spaces with approximations.

Iosif Petrakis

Ann. Pure Appl. Log., 2016

A constructive function-theoretic approach to topological compactness.

Iosif Petrakis

Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, 2016

The Urysohn Extension Theorem for Bishop Spaces.

Iosif Petrakis

Proceedings of the Logical Foundations of Computer Science - International Symposium, 2016

A Direct Constructive Proof of a Stone-Weierstrass Theorem for Metric Spaces.

Iosif Petrakis

Proceedings of the Pursuit of the Universal - 12th Conference on Computability in Europe, 2016

2015

Completely Regular Bishop Spaces.

Iosif Petrakis

Proceedings of the Evolving Computability - 11th Conference on Computability in Europe, 2015

2012

The Contrapositive of Countable Choice for Inhabited Sets of Naturals.

Iosif Petrakis

J. Univers. Comput. Sci., 2012