Computability, Finiteness and the Standard Model of Arithmetic

DOI10.1007/978-3-319-31644-4_16zbMath1436.03026OpenAlexW2492777279MaRDI QIDQ3295828

Enrico Martino, Massimiliano Carrara, Matteo Plebani

Publication date: 13 July 2020

Published in: Boston Studies in the Philosophy and History of Science (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/2318/1730727

zbMATH Keywords

finitenesscomputational structuralismstandard model of arithmetic

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05)

Cites Work

• Unnamed Item
• Unnamed Item
• The structuralist view of mathematical objects
• Kreisel, the continuum hypothesis and second order set theory
• Models and Computability
• Models and reality
• The Philosophical Significance of Tennenbaum's Theorem
• Vom Zahlen zu den Zahlen: On the Relation Between Computation and Arithmetical Structuralism
• Computational Structuralism†

This page was built for publication: Computability, Finiteness and the Standard Model of Arithmetic