The following pages link to Iosif Petrakis (Q290634):
Displaying 21 items.
- Limit spaces with approximations (Q290635) (← links)
- McShane-Whitney pairs (Q2011674) (← links)
- Closed subsets in Bishop topological groups (Q2084948) (← links)
- Algebras of complemented subsets (Q2104273) (← links)
- Functions of Baire class one over a Bishop topology (Q2106607) (← links)
- Computability models over categories and presheaves (Q2151413) (← links)
- Borel and Baire sets in Bishop spaces (Q2179367) (← links)
- (Q2794832) (← links)
- A Density Theorem for Hierarchies of Limit Spaces over Separable Metric Spaces (Q2988845) (← links)
- (Q3177930) (← links)
- A Direct Constructive Proof of a Stone-Weierstrass Theorem for Metric Spaces (Q3188276) (← links)
- Completely Regular Bishop Spaces (Q3195709) (← links)
- A constructive function-theoretic approach to topological compactness (Q4635921) (← links)
- Direct spectra of Bishop spaces and their limits (Q4989398) (← links)
- Proof-relevance in Bishop-style constructive mathematics (Q5055489) (← links)
- (Q5091143) (← links)
- Embeddings of Bishop spaces (Q5108029) (← links)
- (Q5216312) (← links)
- (Q5224157) (← links)
- The Urysohn Extension Theorem for Bishop Spaces (Q5283436) (← links)
- Strict computability models over categories and presheaves (Q5872878) (← links)
