The following pages link to Some points in formal topology. (Q1427787):
Displayed 22 items.
- Pre-apartness structures on spaces of functions (Q864436) (← links)
- A constructive and functorial embedding of locally compact metric spaces into locales (Q881455) (← links)
- The Zariski spectrum as a formal geometry (Q949619) (← links)
- A minimalist two-level foundation for constructive mathematics (Q1032635) (← links)
- Constructive metrisability in point-free topology. (Q1427775) (← links)
- Unique existence, approximate solutions, and countable choice. (Q1427789) (← links)
- The problem of the formalization of constructive topology (Q1765104) (← links)
- A textural view of the distinction between uniformities and quasi-uniformities (Q2433690) (← links)
- A topologist's view of Chu spaces (Q2471013) (← links)
- Vagueness, Kant and topology: a study of formal epistemology (Q2481249) (← links)
- Quasi-apartness and neighbourhood spaces (Q2498913) (← links)
- Aspects of general topology in constructive set theory (Q2575763) (← links)
- Heyting-valued interpretations for constructive set theory (Q2575769) (← links)
- Programming interfaces and basic topology (Q2575770) (← links)
- Maximal and partial points in formal spaces (Q2575773) (← links)
- Regular universes and formal spaces (Q2575774) (← links)
- Formal Zariski topology: Positivity and points (Q2575775) (← links)
- Forcing in Proof Theory (Q4678943) (← links)
- Sublocales in formal topology (Q5294021) (← links)
- The generalised type-theoretic interpretation of constructive set theory (Q5477624) (← links)
- Every countably presented formal topology is spatial, classically (Q5480621) (← links)
- On constructing completions (Q5718698) (← links)