On the T₁ axiom and other separation properties in constructive point-free and point-set topology

DOI10.1016/J.APAL.2009.03.005MaRDI QIDQ636295zbMATH OpenOpenAlexWikidataFDO

Authors Peter Aczel, Giovanni Curi

Publication date 26 August 2011

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.2009.03.005

zbMATH Keywords

constructive set theoryconstructive topologyconstructive type theoryformal spacepoint-free topologypoint-set topologyseparation properties

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Frames, locales (06D22) Topological spaces and generalizations (closure spaces, etc.) (54A05)

Recommendations

• scientific article; zbMATH DE number 2247258
• Separatedness in constructive topology
• Aspects of general topology in constructive set theory
• Spatiality for formal topologies
• A ‘ T1’ space with no closed points, and a “ T1” locale which is not ‘ T1 ’

Cites work

• A ‘ T1’ space with no closed points, and a “ T1” locale which is not ‘ T1 ’
• 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 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 5200719 (Why is no real title available?)
• scientific article; zbMATH DE number 3291139 (Why is no real title available?)
• scientific article; zbMATH DE number 3335736 (Why is no real title available?)
• scientific article; zbMATH DE number 2247258 (Why is no real title available?)
• Lattice Aspects of Radical Ideals and Choice Principles
• Maximal and partial points in formal spaces
• On the collection of points of a formal space
• T1-locales
• The lattice theoretic part of topological separation properties

Cited in

(10)

• Separatedness in constructive topology
• Aspects of general topology in constructive set theory
• On Tarski’s fixed point theorem
• On the existence of Stone-Čech compactification
• On some peculiar aspects of the constructive theory of point-free spaces
• Topological inductive definitions
• Reducibility, a constructive dual of spatiality
• scientific article; zbMATH DE number 2247258 (Why is no real title available?)
• Locatedness and overt sublocales
• Exact approximations to Stone-Čech compactification

This page was built for publication: On the \(T_{1}\) axiom and other separation properties in constructive point-free and point-set topology

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