Illusory models of Peano arithmetic

DOI10.1017/JSL.2015.52MaRDI QIDQ2976385zbMATH OpenOpenAlexFDO

Authors Makoto Kikuchi, Taishi Kurahashi

Publication date 28 April 2017

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

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

zbMATH Keywords

Gödel's incompleteness theoremsnonstandard models of arithmeticprovability predicates

Mathematics Subject Classification ID

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

Recommendations

• Injecting inconsistencies into models of PA
• Injecting inconsistencies into models of PA
• A standard model of Peano arithmetic with no conservative elementary extension
• Remarks on weak notions of saturation in models of Peano arithmetic
• Inconsistent models of arithmetic. II: The general case

Cites work

• Branches of the E -Tree which are not Isomorphic
• Fifty years of self-reference in arithmetic
• scientific article; zbMATH DE number 51556 (Why is no real title available?)
• scientific article; zbMATH DE number 1062120 (Why is no real title available?)
• Rosser sentences

Cited in

(3)

• Universal Rosser predicates
• Some observations on the FGH theorem
• Dual axiomatics

This page was built for publication: Illusory models of Peano arithmetic

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