scientific article; zbMATH DE number 7082966

zbMath1422.54001MaRDI QIDQ5224156

Giovanni Sambin, Francesco Ciraulo

Publication date: 19 July 2019

Full work available at URL: http://logicandanalysis.org/index.php/jla/article/download/345/146

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

constructive mathematicsspatialitypointfree topology

Mathematics Subject Classification ID

Topological spaces and generalizations (closure spaces, etc.) (54A05) Topological lattices, etc. (topological aspects) (54H12) Frames, locales (06D22) Intuitionistic mathematics (03F55)

Related Items (2)

The basic Zariski topology ⋮ Dynamics in Foundations: What Does It Mean in the Practice of Mathematics?

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On the \(T_{1}\) axiom and other separation properties in constructive point-free and point-set topology
• The basic Zariski topology
• A minimalist two-level foundation for constructive mathematics
• Spatiality for formal topologies
• Why topology in the minimalist foundation must be pointfree
• The Weak Kőnig Lemma, Brouwer’s Fan Theorem, De Morgan’s Law, and Dependent Choice

This page was built for publication: