The following pages link to The continuum as a formal space (Q1818591):
Displaying 9 items.
- Competitive equilibrium with intuitionistic agents (Q408315) (← links)
- Some points in formal topology. (Q1427787) (← links)
- Unique existence, approximate solutions, and countable choice. (Q1427789) (← 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)
- A constructive proof of the Heine-Borel covering theorem for formal reals (Q4647570) (← links)
- A continuity principle, a version of Baire's theorem and a boundedness principle (Q5502822) (← links)
- On constructing completions (Q5718698) (← links)
