Formalization, syntax and the standard model of arithmetic

DOI10.1007/S11229-005-0900-XzbMATH Open1120.03003OpenAlexW2058321070MaRDI QIDQ882845FDOQ882845

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

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

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

Cited In (5)

• Title not available (Why is that?)
• 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)