The following pages link to Some points in formal topology. (Q1427787):
Displaying 50 items.
- A universal Krull-Lindenbaum theorem (Q273003) (← links)
- Atomicity, coherence of information, and point-free structures (Q290637) (← links)
- Positivity relations on a locale (Q290642) (← links)
- 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 basic Zariski topology (Q887823) (← 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)
- Eliminating disjunctions by disjunction elimination (Q1688959) (← links)
- Embedding locales and formal topologies into positive topologies (Q1756486) (← links)
- The problem of the formalization of constructive topology (Q1765104) (← links)
- Non-deterministic inductive definitions (Q1935375) (← links)
- The Hahn-Banach theorem by disjunction elimination (Q2074035) (← links)
- Towards formal Baer criteria (Q2099403) (← links)
- Factorizing the \(\mathbf{Top}\)-\(\mathbf{Loc}\) adjunction through positive topologies (Q2238147) (← links)
- Cut elimination for entailment relations (Q2312091) (← links)
- Spectral schemes as ringed lattices (Q2379681) (← links)
- A textural view of the distinction between uniformities and quasi-uniformities (Q2433690) (← links)
- A constructive notion of codimension (Q2445023) (← 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)
- Radical theory of Scott-open filters (Q2682912) (← links)
- A Minimalist Foundation at Work (Q2909749) (← links)
- A point-free characterisation of Bishop locally compact metric spaces (Q2987776) (← links)
- The principle of pointfree continuity (Q3121524) (← links)
- Metric complements of overt closed sets (Q3170557) (← links)
- Relative formal topology: the binary positivity predicate comes first (Q3225738) (← links)
- Continuity of Motion in Whitehead’s Geometrical Space (Q3295803) (← links)
- Point-Free Spectra of Linear Spreads (Q3305641) (← links)
