PETRAKIS, IOSIF

PETRAKIS, IOSIF  

DIPARTIMENTO DI INFORMATICA  

Mostra records
Risultati 1 - 10 di 10 (tempo di esecuzione: 0.009 secondi).
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
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