The following pages link to (Q3322099):
Displaying 35 items.
- Competitive equilibrium with intuitionistic agents (Q408315) (← links)
- Derived rules for predicative set theory: an application of sheaves (Q448333) (← links)
- Topological inductive definitions (Q450944) (← links)
- Locatedness and overt sublocales (Q638474) (← links)
- A constructive investigation of satisfiability (Q651313) (← links)
- I-categories as a framework for solving domain equations (Q685401) (← links)
- Smooth spaces versus continuous spaces in models for synthetic differential geometry (Q790924) (← links)
- \(T_ 1\) spaces over topological sites (Q796619) (← links)
- Stone-Čech compactification of locales. II (Q799970) (← links)
- A coverage construction of the reals and the irrationals (Q866562) (← links)
- Exact approximations to Stone-Čech compactification (Q882119) (← links)
- A topos for algebraic quantum theory (Q1048087) (← links)
- Logical opens and real numbers in topoi (Q1086339) (← links)
- The ''World's simplest axiom of choice'' fails (Q1171570) (← links)
- A globalization of the Hahn-Banach theorem (Q1177237) (← links)
- Information categories (Q1320330) (← links)
- Representability of locally compact regular spaces by domains and formal spaces (Q1391747) (← links)
- Inductively generated formal topologies. (Q1412832) (← links)
- Constructive metrisability in point-free topology. (Q1427775) (← links)
- Some points in formal topology. (Q1427787) (← links)
- The locally fine coreflection and normal covers in the products of partition-complete spaces (Q1867181) (← links)
- Formal spaces and their effective presentations (Q1902337) (← links)
- Towards formal Baer criteria (Q2099403) (← links)
- Stone dualities from opfibrations (Q2141291) (← links)
- Formal plethories (Q2445954) (← links)
- On the collection of points of a formal space (Q2575767) (← links)
- Formal Zariski topology: Positivity and points (Q2575775) (← links)
- The intensional side of algebraic-topological representation theorems (Q2695032) (← links)
- The principle of pointfree continuity (Q3121524) (← links)
- Connected Locally Connected Toposes are Path-Connected (Q3720768) (← links)
- A constructive proof of the Heine-Borel covering theorem for formal reals (Q4647570) (← links)
- Completely regular proper reflection of locales over a given locale (Q4908255) (← links)
- Syntax for Semantics: Krull’s Maximal Ideal Theorem (Q5024726) (← links)
- Formally continuous functions on Baire space (Q5109223) (← links)
- (Q5224156) (← links)
