PETRAKIS, Iosif
PETRAKIS, Iosif
DIPARTIMENTO DI INFORMATICA
A Predicative Approach to the Constructive Integration Theory of Locally Compact Metric Spaces
2025-01-01 Grubmüller, Fabian Lukas; Petrakis, Iosif
Boolean rigs
2025-01-01 Misselbeck-Wessel, Daniel; Petrakis, Iosif
Closed subsets in Bishop topological groups
2022-01-01 Petrakis, Iosif
Complemented subsets and Boolean-valued, partial functions
2024-01-01 Misselbeck-Wessel, Daniel; Petrakis, Iosif
Constructive uniformities of pseudometrics and Bishop topologies
2019-01-01 Petrakis, Iosif
Direct spectra of Bishop spaces and their limits
2021-01-01 Petrakis, Iosif
Embeddings of Bishop spaces
2020-01-01 Petrakis, Iosif
Limit spaces with approximations
2016-01-01 Petrakis, Iosif
McShane-Whitney extensions in constructive analysis
2020-01-01 Petrakis, Iosif
Pre-measure spaces and pre-integration spaces in predicative Bishop-Cheng measure theory
2024-01-01 Petrakis, Iosif; Zeuner, Max
Proof-relevance in Bishop-style constructive mathematics
2022-01-01 Petrakis, Iosif
Sets Completely Separated by Functions in Bishop Set Theory
2024-01-01 Petrakis, Iosif
Strict computability models over categories and presheaves
2022-01-01 Petrakis, Iosif
Strong negation in the theory of computable functionals TCF
2025-01-01 Köpp, Nils; Petrakis, Iosif
The Contrapositive of Countable Choice for Inhabited Sets of Naturals
2012-01-01 Petrakis, Iosif
The Grothendieck Computability Model
2025-01-01 Gambarte, Luis; Petrakis, Iosif