Formalization, syntax and the standard model of arithmetic
From MaRDI portal
Publication:882845
DOI10.1007/s11229-005-0900-xzbMath1120.03003MaRDI QIDQ882845
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
03A05: Philosophical and critical aspects of logic and foundations
03F30: First-order arithmetic and fragments
03C62: Models of arithmetic and set theory
Cites Work