Illusory models of Peano arithmetic

DOI10.1017/JSL.2015.52zbMATH Open1388.03070OpenAlexW2469277505MaRDI QIDQ2976385FDOQ2976385

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

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

zbMATH Keywords

nonstandard models of arithmeticprovability predicatesGödel's incompleteness theorems

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Rosser sentences
• Fifty years of self-reference in arithmetic
• Branches of the E -Tree which are not Isomorphic

Cited In (3)

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

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)