Locatedness and overt sublocales
From MaRDI portal
Publication:638474
DOI10.1016/j.apal.2010.07.002zbMath1223.03053arXivmath/0703561MaRDI QIDQ638474
Publication date: 12 September 2011
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/math/0703561
constructive mathematics; formal topology; formal spaces; Bishop compact set; constructive locale theory; locatedness; overt sublocales; Vietoris locale
03F60: Constructive and recursive analysis
06D22: Frames, locales
03F65: Other constructive mathematics
Related Items
Cites Work
- On the \(T_{1}\) axiom and other separation properties in constructive point-free and point-set topology
- Intuitionism. An introduction
- The ``closed subgroup theorem for localic herds and pregroupoids
- A constructive and functorial embedding of locally compact metric spaces into locales
- Exact approximations to Stone-Čech compactification
- Apartness, compactness and nearness
- Constructivism in mathematics. An introduction. Volume II
- Sheaves in geometry and logic: a first introduction to topos theory
- Generalized real numbers in constructive mathematics
- Proper maps of locales
- Inductively generated formal topologies.
- Some points in formal topology.
- About Stone's notion of spectrum
- Remarks on the Stone-Čech and Alexandroff compactifications of locales
- Aspects of general topology in constructive set theory
- On the collection of points of a formal space
- Compactness in locales and in formal topology
- Adjoints and the image of the ball
- Locating subsets of a Hilbert space
- Localic completion of generalized metric spaces II: Powerlocales
- Open sublocales of localic completions
- Metric complements of overt closed sets
- Compactification of Frames
- An extension of the Galois theory of Grothendieck
- Almost locatedness in uniform spaces
- Integrals and valuations
- Geometric Intuition and Elementary Constructive Analysis
- Weak compactness in constructive spaces
- Open subspaces of locally compact metric spaces
- Continuous domains as formal spaces
- Constructive points of powerlocales
- Locating subsets of a normed space
- A constructive proof of the Heine-Borel covering theorem for formal reals
- Sublocales in formal topology
- Formal topology and constructive mathematics: the Gelfand and Stone-Yosida representation theorems
- Formal systems for some branches of intuitionistic analysis
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item