The principle of pointfree continuity

zbMath1432.03129arXiv1802.04512MaRDI QIDQ3121524

Tatsuji Kawai, Giovanni Sambin

Publication date: 18 March 2019

Full work available at URL: https://arxiv.org/abs/1802.04512

zbMATH Keywords

Baire spaceconstructive mathematicscontinuity principlereal numbersspatialitypointfree topologychoice sequences

Mathematics Subject Classification ID

Continuous maps (54C05) Constructive and recursive analysis (03F60) Frames, locales (06D22)

Related Items

Inductive and Coinductive Topological Generation with Church's thesis and the Axiom of Choice

Cites Work

• A minimalist two-level foundation for constructive mathematics
• Constructivism in mathematics. An introduction. Volume I
• Inductively generated formal topologies.
• Some points in formal topology.
• Embedding locales and formal topologies into positive topologies
• The continuum as a formal space
• Information systems for continuous posets
• Spatiality for formal topologies
• A constructive proof of the Heine-Borel covering theorem for formal reals
• Formally continuous functions on Baire space
• Formal systems for some branches of intuitionistic analysis
• From Sets and Types to Topology and Analysis
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item