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

DOI10.1093/JIGPAL/JZQ051zbMATH Open1246.03087OpenAlexW2134503984MaRDI QIDQ2909841FDOQ2909841

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)

Cited In (2)

• Numbers and models, standard and nonstandard
• The ontology of digital physics

Recommendations

• A model for intuitionistic non-standard arithmetic 👍 👎
• Probabilistic Versus Deterministic Inductive Inference in Nonstandard Numberings 👍 👎
• Inconsistent nonstandard arithmetic 👍 👎
• Semantics and the Ontology of Number 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎

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)