The following pages link to The continuum as a formal space (Q1818591):
Displaying 14 items.
- Competitive equilibrium with intuitionistic agents (Q408315) (← links)
- Defining sets as sets of points of spaces (Q1106844) (← links)
- Some points in formal topology. (Q1427787) (← links)
- Unique existence, approximate solutions, and countable choice. (Q1427789) (← links)
- Formalizing a discrete model of the continuum in Coq from a discrete geometry perspective (Q2354911) (← links)
- Existence of approximate social welfare (Q2467527) (← links)
- The intensional side of algebraic-topological representation theorems (Q2695032) (← links)
- The principle of pointfree continuity (Q3121524) (← links)
- Entwurf einer konstruktiven Topologie (Q3983933) (← links)
- Continuous domains as formal spaces (Q4331079) (← links)
- A constructive proof of the Heine-Borel covering theorem for formal reals (Q4647570) (← links)
- Every countably presented formal topology is spatial, classically (Q5480621) (← links)
- A continuity principle, a version of Baire's theorem and a boundedness principle (Q5502822) (← links)
- On constructing completions (Q5718698) (← links)