The following pages link to (Q3863865):
Displaying 30 items.
- What do Freyd's toposes classify? (Q382418) (← links)
- Unifying sets and programs via dependent types (Q408534) (← links)
- Derived rules for predicative set theory: an application of sheaves (Q448333) (← links)
- Locatedness and overt sublocales (Q638474) (← links)
- A new model for intuitionistic analysis (Q750439) (← links)
- Differential equations in constructive analysis and in the recursive realizability topos (Q793725) (← links)
- Stone-Čech compactification of locales. II (Q799970) (← links)
- A model for spacetime: the role of interpretation in some Grothendieck topoi (Q862637) (← links)
- A coverage construction of the reals and the irrationals (Q866562) (← links)
- Pointfree forms of Dowker's and Michael's insertion theorems (Q952248) (← links)
- The associated sheaf functor theorem in algebraic set theory (Q958487) (← links)
- Aspects of predicative algebraic set theory. I: Exact completion (Q958492) (← links)
- The real-algebraic structure of Scott's model of intuitionistic analysis (Q1059071) (← links)
- Diagonalization of continuous matrices as a representation of intuitionistic reals (Q1086560) (← links)
- The Gleason cover of a topos. I (Q1145204) (← links)
- The ''World's simplest axiom of choice'' fails (Q1171570) (← links)
- A globalization of the Hahn-Banach theorem (Q1177237) (← links)
- On the necessity of some topological spaces (Q2104265) (← links)
- A new look at localic interpolation theorems (Q2508938) (← links)
- Heyting-valued interpretations for constructive set theory (Q2575769) (← links)
- Unifying Sets and Programs via Dependent Types (Q3605541) (← links)
- The point of pointless topology (Q3965242) (← links)
- On the Cauchy Completeness of the Constructive Cauchy Reals (Q4921444) (← links)
- Towards a Paraconsistent Quantum Set Theory (Q5015195) (← links)
- Bishop-Style Constructive Reverse Mathematics (Q5024576) (← links)
- Formally continuous functions on Baire space (Q5109223) (← links)
- SEPARATING THE FAN THEOREM AND ITS WEAKENINGS II (Q5207562) (← links)
- (Q5224156) (← links)
- Realizability Models Separating Various Fan Theorems (Q5326379) (← links)
- THE AXIOM OF CHOICE IS FALSE INTUITIONISTICALLY (IN MOST CONTEXTS) (Q5884255) (← links)
