A Minimalist Foundation at Work

DOI10.1007/978-94-007-0214-1_4zbMath1256.00005MaRDI 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 mathematics; constructive topology; nature of mathematics

Mathematics Subject Classification ID

00A30: Philosophy of mathematics

03F65: Other constructive mathematics

Related Items

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

Cites Work

• 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
• 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