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

DOI10.1007/978-3-030-15655-8_21zbMath1528.03062OpenAlexW2986842037MaRDI QIDQ6075440

Giovanni Sambin

Publication date: 20 September 2023

Published in: Synthese Library (Search for Journal in Brave)

Full work available at URL: https://www.springer.com/gp/book/9783030156541

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05) Methodology of mathematics (00A35)

Related Items (1)

Inductive and Coinductive Topological Generation with Church's thesis and the Axiom of Choice

Cites Work

• The overlap algebra of regular opens
• A minimalist two-level foundation for constructive mathematics
• Inductively generated formal topologies.
• C for constructivism. Beyond clichés
• Pretopologies and a uniform presentation of sup-lattices, quantales and frames
• A Minimalist Foundation at Work
• Formalising Overlap Algebras in Matita
• Basic logic: reflection, symmetry, visibility
• Formalization of Formal Topology by Means of the Interactive Theorem Prover Matita
• Real and Ideal in Constructive Mathematics
• An extensional Kleene realizability semantics for the Minimalist Foundation
• The Work of Nicholas Bourbaki
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Dynamics in Foundations: What Does It Mean in the Practice of Mathematics?