The following pages link to The continuum as a formal space (Q1818591):
Displayed 6 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)
- A continuity principle, a version of Baire's theorem and a boundedness principle (Q5502822) (← links)
- On constructing completions (Q5718698) (← links)