A Minimalist Foundation at Work

DOI10.1007/978-94-007-0214-1_4zbMath1256.00005OpenAlexW2183863135MaRDI QIDQ2909749

Giovanni Sambin

Publication date: 6 September 2012

Published in: The Western Ontario Series in Philosophy of Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-94-007-0214-1_4

zbMATH Keywords

foundations of mathematicsconstructive topologynature of mathematics

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Other constructive mathematics (03F65)

Related Items (1)

Dynamics in Foundations: What Does It Mean in the Practice of Mathematics?

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A constructive investigation of satisfiability
• A minimalist two-level foundation for constructive mathematics
• Constructivism in mathematics. An introduction. Volume II
• Inductively generated formal topologies.
• Some points in formal topology.
• Pretopologies and a uniform presentation of sup-lattices, quantales and frames
• Programming interfaces and basic topology
• Compactness in locales and in formal topology
• Modular correspondence between dependent type theories and categories including pretopoi and topoi
• Can You Add Power‐Sets to Martin‐Lof's Intuitionistic Set Theory?
• Pretopologies and completeness proofs

This page was built for publication: A Minimalist Foundation at Work