On the collection of points of a formal space

DOI10.1016/J.APAL.2005.05.019MaRDI QIDQ2575767zbMATH OpenOpenAlexFDO

Authors 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

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

Recommendations

• Maximal and partial points in formal spaces
• scientific article; zbMATH DE number 202572
• On the spaces of the maximal points
• On the general theory of point sets
• scientific article; zbMATH DE number 3962740
• scientific article; zbMATH DE number 1795214
• scientific article; zbMATH DE number 735461
• On formality of a class of compact homogeneous spaces
• On the structure of \(n\)-point sets
• Formal Zariski topology: Positivity and points

Cites work

• scientific article; zbMATH DE number 3645093 (Why is no real title available?)
• scientific article; zbMATH DE number 3853067 (Why is no real title available?)
• scientific article; zbMATH DE number 3864075 (Why is no real title available?)
• scientific article; zbMATH DE number 4152376 (Why is no real title available?)
• scientific article; zbMATH DE number 3910392 (Why is no real title available?)
• scientific article; zbMATH DE number 4070894 (Why is no real title available?)
• scientific article; zbMATH DE number 3687373 (Why is no real title available?)
• scientific article; zbMATH DE number 3754682 (Why is no real title available?)
• scientific article; zbMATH DE number 3787631 (Why is no real title available?)
• scientific article; zbMATH DE number 50149 (Why is no real title available?)
• scientific article; zbMATH DE number 125733 (Why is no real title available?)
• scientific article; zbMATH DE number 1795214 (Why is no real title available?)
• scientific article; zbMATH DE number 1420837 (Why is no real title available?)
• scientific article; zbMATH DE number 1424016 (Why is no real title available?)
• scientific article; zbMATH DE number 3428899 (Why is no real title available?)
• scientific article; zbMATH DE number 3232606 (Why is no real title available?)
• Aspects of general topology in constructive set theory
• Atomless Parts of Spaces.
• Constructive metrisability in point-free topology.
• Exact approximations to Stone-Čech compactification
• Inductively generated formal topologies.
• Maximal and partial points in formal spaces
• Samuel compactification and completion of uniform frames
• The constructive maximal point space and partial metrizability
• The point of pointless topology

Cited in

(11)

• A predicative completion of a uniform space
• The uniform boundedness theorem and a boundedness principle
• Uniform locales and their constructive aspects
• Topological inductive definitions
• A constructive and functorial embedding of locally compact metric spaces into locales
• On the \(T_{1}\) axiom and other separation properties in constructive point-free and point-set topology
• scientific article; zbMATH DE number 202572 (Why is no real title available?)
• Exact approximations to Stone-Čech compactification
• Locatedness and overt sublocales
• Aspects of general topology in constructive set theory
• Maximal and partial points in formal spaces

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2575767)