A minimalist foundation at work

DOI10.1007/978-94-007-0214-1_4zbMATH Open1256.00005OpenAlexW2183863135MaRDI QIDQ2909749FDOQ2909749

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

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

zbMATH Keywords

foundations of mathematicsconstructive topologynature of mathematics

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (4)

• The problem of mathematical objects
• Foundations as superstructure
• Title not available (Why is that?)
• Dynamics in Foundations: What Does It Mean in the Practice of Mathematics?

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)