Injecting inconsistencies into models of PA

DOI10.1016/0168-0072(89)90048-1zbMath0698.03040OpenAlexW2078412479MaRDI QIDQ5899768

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 (1)

Duality, non-standard elements, and dynamic properties of r.e. sets

This page was built for publication: Injecting inconsistencies into models of PA