PETRAKIS, IOSIF

PETRAKIS, IOSIF  

DIPARTIMENTO DI INFORMATICA  

Mostra records
Risultati 1 - 20 di 24 (tempo di esecuzione: 0.046 secondi).
Titolo Data di pubblicazione Autore(i) File
A constructive function-theoretic approach to topological compactness 1-gen-2016 Petrakis, Iosif
A Density Theorem for Hierarchies of Limit Spaces over Separable Metric Spaces 1-gen-2017 Petrakis, Iosif
A Direct Constructive Proof of a Stone-Weierstrass Theorem for Metric Spaces 1-gen-2016 Petrakis, Iosif
Algebras of Complemented Subsets 1-gen-2022 Petrakis, Iosif; Wessel, Daniel
Bases of Pseudocompact Bishop Spaces 1-gen-2023 Petrakis, Iosif
Borel and Baire Sets in Bishop Spaces 1-gen-2019 Petrakis, Iosif
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
Completely Regular Bishop Spaces 1-gen-2015 Petrakis, Iosif
Computability Models over Categories and Presheaves 1-gen-2022 Petrakis, Iosif
Constructive uniformities of pseudometrics and Bishop topologies 1-gen-2019 Petrakis, Iosif
Dependent Sums and Dependent Products in Bishop’s Set Theory 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
Functions of Baire Class One over a Bishop Topology 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
McShane-Whitney Pairs 1-gen-2017 Petrakis, Iosif
Pre-measure spaces and pre-integration spaces in predicative Bishop-Cheng measure theory 1-gen-2024 Petrakis, Iosif; Zeuner, Max
Proof-relevance in Bishop-style constructive mathematics 1-gen-2022 Petrakis, Iosif