Non-standard numbers: a semantic obstacle for modelling arithmetical reasoning

DOI10.1093/JIGPAL/JZQ051MaRDI QIDQ2909841zbMATH OpenOpenAlexFDO

Authors Anderson De Araújo, Walter Carnielli

Publication date 6 September 2012

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/jigpal/jzq051

zbMATH Keywords

Turing machinesfirst-order arithmeticnonstandard numbersarithmetical reasoning

Mathematics Subject Classification ID

Turing machines and related notions (03D10) Nonstandard models of arithmetic (03H15)

Recommendations

• scientific article; zbMATH DE number 1531213
• scientific article; zbMATH DE number 4077395
• scientific article; zbMATH DE number 3841857
• Adding standardness to nonstandard arithmetic
• scientific article; zbMATH DE number 4119662
• Semantics and the ontology of number
• Inconsistent nonstandard arithmetic
• A model for intuitionistic non-standard arithmetic
• Probabilistic Versus Deterministic Inductive Inference in Nonstandard Numberings

Cited in

(3)

• Numbers and models, standard and nonstandard
• On live and dead signs in mathematics
• The ontology of digital physics

This page was built for publication: Non-standard numbers: a semantic obstacle for modelling arithmetical reasoning

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