A minimalist foundation at work

DOI10.1007/978-94-007-0214-1_4MaRDI QIDQ2909749zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• scientific article; zbMATH DE number 3412582
• scientific article; zbMATH DE number 1984274
• What is Required of a Foundation for Mathematics?
• scientific article; zbMATH DE number 1021615
• scientific article; zbMATH DE number 895211

Cites work

• scientific article; zbMATH DE number 4152376 (Why is no real title available?)
• scientific article; zbMATH DE number 3825806 (Why is no real title available?)
• scientific article; zbMATH DE number 3910392 (Why is no real title available?)
• scientific article; zbMATH DE number 4070894 (Why is no real title available?)
• scientific article; zbMATH DE number 50149 (Why is no real title available?)
• scientific article; zbMATH DE number 192841 (Why is no real title available?)
• scientific article; zbMATH DE number 3557754 (Why is no real title available?)
• scientific article; zbMATH DE number 1302065 (Why is no real title available?)
• scientific article; zbMATH DE number 1984274 (Why is no real title available?)
• scientific article; zbMATH DE number 1420793 (Why is no real title available?)
• scientific article; zbMATH DE number 3428899 (Why is no real title available?)
• scientific article; zbMATH DE number 3291139 (Why is no real title available?)
• scientific article; zbMATH DE number 3325567 (Why is no real title available?)
• scientific article; zbMATH DE number 2247253 (Why is no real title available?)
• A constructive investigation of satisfiability
• A minimalist two-level foundation for constructive mathematics
• Can You Add Power‐Sets to Martin‐Lof's Intuitionistic Set Theory?
• Compactness in locales and in formal topology
• Constructivism in mathematics. An introduction. Volume II
• Inductively generated formal topologies.
• Modular correspondence between dependent type theories and categories including pretopoi and topoi
• Pretopologies and a uniform presentation of sup-lattices, quantales and frames
• Pretopologies and completeness proofs
• Programming interfaces and basic topology
• Some points in formal topology.

Cited in

(4)

• Dynamics in Foundations: What Does It Mean in the Practice of Mathematics?
• The problem of mathematical objects
• Foundations as superstructure
• scientific article; zbMATH DE number 3412582 (Why is no real title available?)

This page was built for publication: A minimalist foundation at work

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