Predicativity problems in point-free topology

MaRDI QIDQ5477360zbMATH OpenFDO

Authors Erik Palmgren

Publication date 3 July 2006

zbMATH Keywords

constructive topologyformal topology

Mathematics Subject Classification ID

Other constructive mathematics (03F65) Frames, locales (06D22)

Recommendations

• Some points in formal topology.
• Spatiality for formal topologies
• From Intuitionistic to Point-Free Topology: On the Foundation of Homotopy Theory
• scientific article; zbMATH DE number 202572
• The problem of the formalization of constructive topology

Cited in

(11)

• Constructive metrisability in point-free topology.
• Spatiality for formal topologies
• On some peculiar aspects of the constructive theory of point-free spaces
• From Intuitionistic to Point-Free Topology: On the Foundation of Homotopy Theory
• Topological inductive definitions
• scientific article; zbMATH DE number 1531360 (Why is no real title available?)
• Why topology in the minimalist foundation must be pointfree
• Reducibility, a constructive dual of spatiality
• Predicative presentations of stably locally compact locales
• A constructive and functorial embedding of locally compact metric spaces into locales
• Exact approximations to Stone-Čech compactification

This page was built for publication: Predicativity problems in point-free topology

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