Injecting inconsistencies into models of PA

DOI10.1016/0168-0072(89)90048-1zbMath0683.03041OpenAlexW2078412479MaRDI QIDQ5916455

Robert M. Solovay

Publication date: 1989

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0168-0072(89)90048-1

zbMATH Keywords

Peano arithmeticinconsistencymodels of arithmeticinitial segmentnonstandard modelfinite two player gamesself-referential formula

Mathematics Subject Classification ID

Nonstandard models of arithmetic (03H15) Models of arithmetic and set theory (03C62)

Related Items

The scope of Gödel's first incompleteness theorem

Cites Work

• \(\Sigma_ 1^ 1\)-formulae on finite structures
• On the Cardinality of $$ \sum_2^1 $$ Sets of Reals
• Monadic Elementary Formal Systems
• Unnamed Item
• Unnamed Item