ILLUSORY MODELS OF PEANO ARITHMETIC

DOI10.1017/JSL.2015.52zbMath1388.03070OpenAlexW2469277505MaRDI QIDQ2976385

Makoto Kikuchi, Taishi Kurahashi

Publication date: 28 April 2017

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/jsl.2015.52

zbMATH Keywords

nonstandard models of arithmeticGödel's incompleteness theoremsprovability predicates

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Nonstandard models of arithmetic (03H15) Models of arithmetic and set theory (03C62)

Related Items (2)

Some observations on the FGH theorem ⋮ UNIVERSAL ROSSER PREDICATES

Cites Work

• Unnamed Item
• Unnamed Item
• Fifty years of self-reference in arithmetic
• Branches of the E -Tree which are not Isomorphic
• Rosser sentences

This page was built for publication: ILLUSORY MODELS OF PEANO ARITHMETIC