Locatedness and overt sublocales

DOI10.1016/j.apal.2010.07.002zbMath1223.03053arXivmath/0703561OpenAlexW2165730173MaRDI QIDQ638474

Bas Spitters

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

zbMATH Keywords

constructive mathematicsformal topologyformal spacesBishop compact setconstructive locale theorylocatednessovert sublocalesVietoris locale

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Frames, locales (06D22) Other constructive mathematics (03F65)

Related Items (3)

Metric complements of overt closed sets ⋮ Apartness, sharp elements, and the Scott topology of domains ⋮ Structural, point-free, non-Hausdorff topological realization of Borel groupoid actions

Cites Work

• 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
• 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
• Located Operators
• Sublocales in formal topology
• Formal topology and constructive mathematics: the Gelfand and Stone-Yosida representation theorems
• Formal systems for some branches of intuitionistic analysis

This page was built for publication: Locatedness and overt sublocales