The following pages link to Iosif Petrakis (Q290634):
Displaying 35 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)
- Bases of Pseudocompact Bishop Spaces (Q6116077) (← links)
- McShane-Whitney extensions in constructive analysis (Q6300526) (← links)
- Closed subsets in Bishop topological groups (Q6362391) (← links)
- Computability models over categories (Q6367668) (← links)
- Chu representations of categories related to constructive mathematics (Q6369355) (← links)
- Families of Sets in Bishop Set Theory (Q6377220) (← links)
- From the Sigma-type to the Grothendieck construction (Q6377231) (← links)
- Constructive Combinatorics of Dickson's Lemma (Q6397329) (← links)
- Univalent typoids (Q6399087) (← links)
- Pre-measure spaces and pre-integration spaces in predicative Bishop-Cheng measure theory (Q6405339) (← links)
- Sets completely separated by functions in Bishop Set Theory (Q6408030) (← links)
- Strong negation in the theory of computable functionals TCF (Q6413567) (← links)
- Categories with dependent arrows (Q6430894) (← links)
- Topologies of open complemented subsets (Q6465335) (← links)