Formalization, syntax and the standard model of arithmetic

DOI10.1007/s11229-005-0900-xzbMath1120.03003OpenAlexW2058321070MaRDI QIDQ882845

Luca Bellotti

Publication date: 24 May 2007

Published in: Synthese (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11229-005-0900-x

zbMATH Keywords

nonstandard modelsformal systems

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) First-order arithmetic and fragments (03F30) Models of arithmetic and set theory (03C62)

Cites Work

• Beyond first-order logic: the historical interplay between mathematical logic and axiomatic set theory

This page was built for publication: Formalization, syntax and the standard model of arithmetic