On the collection of points of a formal space

DOI10.1016/J.APAL.2005.05.019zbMATH Open1086.03052OpenAlexW2018009050MaRDI QIDQ2575767FDOQ2575767

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

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

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)

Cites Work

• Title not available (Why is that?)
• The constructive maximal point space and partial metrizability
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Atomless Parts of Spaces.
• Inductively generated formal topologies.
• The point of pointless topology
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Samuel compactification and completion of uniform frames
• Title not available (Why is that?)
• Aspects of general topology in constructive set theory
• Maximal and partial points in formal spaces
• Exact approximations to Stone-Čech compactification
• Title not available (Why is that?)
• Constructive metrisability in point-free topology.
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (11)

• A predicative completion of a uniform space
• The uniform boundedness theorem and a boundedness principle
• 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
• Title not available (Why is that?)
• Exact approximations to Stone-Čech compactification
• Locatedness and overt sublocales
• Aspects of general topology in constructive set theory
• Title not available (Why is that?)
• 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)