The following pages link to Some points in formal topology. (Q1427787):
Displayed 41 items.
- Competitive equilibrium with intuitionistic agents (Q408315) (← links)
- A predicative completion of a uniform space (Q424538) (← links)
- Almost new pre-apartness from old (Q424542) (← links)
- A formal proof of the projective Eisenbud-Evans-Storch theorem (Q444111) (← links)
- Derived rules for predicative set theory: an application of sheaves (Q448333) (← links)
- An induction principle for consequence in arithmetic universes (Q456884) (← links)
- Locatedness and overt sublocales (Q638474) (← links)
- Reflections on function spaces (Q651312) (← links)
- Formal neighbourhoods, combinatory Böhm trees, and untyped normalization by evaluation (Q651316) (← links)
- Independence results in formal topology (Q651321) (← links)
- Objects: a study in Kantian formal epistemology (Q691124) (← links)
- 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)
- A topos for algebraic quantum theory (Q1048087) (← 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)
- Non-deterministic inductive definitions (Q1935375) (← links)
- Spectral schemes as ringed lattices (Q2379681) (← 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)
- A Minimalist Foundation at Work (Q2909749) (← links)
- Metric complements of overt closed sets (Q3170557) (← links)
- Relative formal topology: the binary positivity predicate comes first (Q3225738) (← links)
- Forcing in Proof Theory (Q4678943) (← links)
- A constructive Galois connection between closure and interior (Q4899177) (← links)
- Convergence in formal topology: a unifying notion (Q4907839) (← 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)