PETRAKIS, IOSIF
PETRAKIS, IOSIF
DIPARTIMENTO DI INFORMATICA
Mostra
records
Risultati 1 - 12 di 12 (tempo di esecuzione: 0.006 secondi).
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
The Contrapositive of Countable Choice for Inhabited Sets of Naturals
2012-01-01 Petrakis, Iosif