PETRAKIS, IOSIF
PETRAKIS, IOSIF
DIPARTIMENTO DI INFORMATICA
Mostra
records
Risultati 1 - 11 di 11 (tempo di esecuzione: 0.019 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
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
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Closed subsets in Bishop topological groups | 1-gen-2022 | Petrakis, Iosif | |
Complemented subsets and Boolean-valued, partial functions | 1-gen-2024 | Misselbeck-Wessel, Daniel; Petrakis, Iosif | |
Constructive uniformities of pseudometrics and Bishop topologies | 1-gen-2019 | Petrakis, Iosif | |
Direct spectra of Bishop spaces and their limits | 1-gen-2021 | Petrakis, Iosif | |
Embeddings of Bishop spaces | 1-gen-2020 | Petrakis, Iosif | |
Limit spaces with approximations | 1-gen-2016 | Petrakis, Iosif | |
McShane-Whitney extensions in constructive analysis | 1-gen-2020 | Petrakis, Iosif | |
Proof-relevance in Bishop-style constructive mathematics | 1-gen-2022 | Petrakis, Iosif | |
Sets Completely Separated by Functions in Bishop Set Theory | 1-gen-2024 | Petrakis, Iosif | |
Strict computability models over categories and presheaves | 1-gen-2022 | Petrakis, Iosif | |
The Contrapositive of Countable Choice for Inhabited Sets of Naturals | 1-gen-2012 | Petrakis, Iosif |