PETRAKIS, IOSIF
PETRAKIS, IOSIF
DIPARTIMENTO DI INFORMATICA
Mostra
records
Risultati 1 - 12 di 12 (tempo di esecuzione: 0.002 secondi).
A constructive function-theoretic approach to topological compactness
2016-01-01 Petrakis, Iosif
A Density Theorem for Hierarchies of Limit Spaces over Separable Metric Spaces
2017-01-01 Petrakis, Iosif
A Direct Constructive Proof of a Stone-Weierstrass Theorem for Metric Spaces
2016-01-01 Petrakis, Iosif
Algebras of Complemented Subsets
2022-01-01 Petrakis, Iosif; Wessel, Daniel
Borel and Baire Sets in Bishop Spaces
2019-01-01 Petrakis, Iosif
Completely Regular Bishop Spaces
2015-01-01 Petrakis, Iosif
Computability Models over Categories and Presheaves
2022-01-01 Petrakis, Iosif
Dependent Sums and Dependent Products in Bishop’s Set Theory
2019-01-01 Petrakis, Iosif
Functions of Baire Class One over a Bishop Topology
2020-01-01 Petrakis, Iosif
McShane-Whitney Pairs
2017-01-01 Petrakis, Iosif
The Grothendieck Computability Model
2024-01-01 Petrakis, Iosif
The Urysohn Extension Theorem for Bishop Spaces
2016-01-01 Petrakis, Iosif
| 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 | |
| Borel and Baire Sets in Bishop Spaces | 1-gen-2019 | Petrakis, Iosif | |
| Completely Regular Bishop Spaces | 1-gen-2015 | Petrakis, Iosif | |
| Computability Models over Categories and Presheaves | 1-gen-2022 | Petrakis, Iosif | |
| Dependent Sums and Dependent Products in Bishop’s Set Theory | 1-gen-2019 | Petrakis, Iosif | |
| Functions of Baire Class One over a Bishop Topology | 1-gen-2020 | Petrakis, Iosif | |
| McShane-Whitney Pairs | 1-gen-2017 | Petrakis, Iosif | |
| The Grothendieck Computability Model | 1-gen-2024 | Petrakis, Iosif | |
| The Urysohn Extension Theorem for Bishop Spaces | 1-gen-2016 | Petrakis, Iosif |