On the collection of points of a formal space

DOI10.1016/j.apal.2005.05.019zbMath1086.03052OpenAlexW2018009050MaRDI QIDQ2575767

Giovanni Curi

Publication date: 6 December 2005

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2005.05.019

zbMATH Keywords

gauge structures(complete) regularity(local) compactnessclasses as setsuniform formal spaces

Mathematics Subject Classification ID

Topological spaces and generalizations (closure spaces, etc.) (54A05) Uniform structures and generalizations (54E15) Other constructive mathematics (03F65)

Related Items (10)

A constructive and functorial embedding of locally compact metric spaces into locales ⋮ Exact approximations to Stone-Čech compactification ⋮ A predicative completion of a uniform space ⋮ The uniform boundedness theorem and a boundedness principle ⋮ On the \(T_{1}\) axiom and other separation properties in constructive point-free and point-set topology ⋮ Locatedness and overt sublocales ⋮ Topological inductive definitions ⋮ Unnamed Item ⋮ Aspects of general topology in constructive set theory ⋮ Maximal and partial points in formal spaces

Cites Work

• Exact approximations to Stone-Čech compactification
• Inductively generated formal topologies.
• Constructive metrisability in point-free topology.
• Aspects of general topology in constructive set theory
• Maximal and partial points in formal spaces
• The constructive maximal point space and partial metrizability
• Samuel compactification and completion of uniform frames
• The point of pointless topology
• Atomless Parts of Spaces.
• 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

This page was built for publication: On the collection of points of a formal space