Spatiality for formal topologies
From MaRDI portal
Recommendations
Cited in
(27)- Constructive metrisability in point-free topology.
- Spectral schemes as ringed lattices
- A constructive notion of codimension
- The intensional side of algebraic-topological representation theorems
- A universal Krull-Lindenbaum theorem
- The principle of pointfree continuity
- scientific article; zbMATH DE number 3853067 (Why is no real title available?)
- From Intuitionistic to Point-Free Topology: On the Foundation of Homotopy Theory
- scientific article; zbMATH DE number 3901609 (Why is no real title available?)
- Rational formality of mapping spaces
- A comparison of two systems of point-free topology
- A Whiteheadian-type description of Euclidean spaces, spheres, tori and Tychonoff cubes
- Special issue on point-free geometry and topology. An introduction
- Why topology in the minimalist foundation must be pointfree
- Intuitionistic overlap structures
- Higher order functions and Brouwer's thesis
- Point-free construction of real exponentiation
- Reducibility, a constructive dual of spatiality
- Formal continuity implies uniform continuity near compact images on metric spaces
- Predicativity problems in point-free topology
- Notes on Point-Free Topology
- Preface
- On the \(T_{1}\) axiom and other separation properties in constructive point-free and point-set topology
- Effectiveness and continuity in intuitionistic quasi-toposes of assemblies
- The basic Zariski topology
- Finitary formal topologies and Stone's representation theorem
- The Zariski spectrum as a formal geometry
This page was built for publication: Spatiality for formal topologies
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3431544)
