Formalization, syntax and the standard model of arithmetic

DOI10.1007/S11229-005-0900-XMaRDI QIDQ882845zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• On live and dead signs in mathematics
• On some uses of nonstandard models
• Computability, finiteness and the standard model of arithmetic
• Carnap, Formalism, and Informal Rigour
• The strength of nonstandard methods in arithmetic

Cites work

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

Cited in

(5)

• scientific article; zbMATH DE number 2063922 (Why is no real title available?)
• A survey of languages for formalizing mathematics
• Formalizing non-standard arguments in second-order arithmetic
• On live and dead signs in mathematics
• Computability, finiteness and the standard model of arithmetic

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q882845)