scientific article; zbMATH DE number 5044329

MaRDI QIDQ5480940zbMATH OpenFDO

Authors Erik Palmgren, Peter Schuster

Publication date 7 August 2006

zbMATH Keywords

framesconstructive mathematicslocalesproximity spacesnearness spaces

Mathematics Subject Classification ID

Frames, locales (06D22) Other constructive mathematics (03F65) Topological spaces and generalizations (closure spaces, etc.) (54A05) Proximity structures and generalizations (54E05) Nearness spaces (54E17) Constructive and recursive analysis (03F60)

Recommendations

• Apartness spaces as a framework for constructive topology
• Separatedness in constructive topology
• Apartness, Topology, and Uniformity: a Constructive View
• scientific article; zbMATH DE number 6736265
• scientific article; zbMATH DE number 2247258
• Separation in point-free topology
• scientific article; zbMATH DE number 5812471
• scientific article; zbMATH DE number 3921494
• Formal Topology and Univalent Foundations
• scientific article; zbMATH DE number 1531375

Cited in

(8)

• scientific article; zbMATH DE number 1665455 (Why is no real title available?)
• scientific article; zbMATH DE number 2247258 (Why is no real title available?)
• Two subcategories of apartness spaces
• Some points in formal topology.
• Apartness spaces as a framework for constructive topology
• Apartness and uniformity. A constructive development.
• Independence results in formal topology
• Quasi-apartness and neighbourhood spaces

This page was built for publication:

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