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

(complete) regularity(local) compactnessclasses as setsgauge structuresuniform formal spaces

Mathematics Subject Classification ID

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

Review text

The paper deals with formal spaces in a range of constructive settings. It is shown that for any formal space \(S\) belonging to some important class of formal spaces (such as locally compact regular formal spaces), the collection Pt\((S)\) of the points of \(S\) is isomorphic to a set. The proof is independent from the constructive foundation adopted, and the proofs that the constructions of the considered classes of points indeed yield sets may be formulated in terms of E. Bishop's naive set and subset theory.

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

• Aspects of general topology in constructive set theory
• Atomless Parts of Spaces.
• Constructive metrisability in point-free topology.
• Exact approximations to Stone-Čech compactification
• 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?)
• 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)

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

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)