On Models Constructed by Means of the Arithmetized Completeness Theorem

DOI<link itemprop=identifier href="https://doi.org/10.1002/1521-3870(200010)46:4<505::AID-MALQ505>3.0.CO;2-M" /><505::AID-MALQ505>3.0.CO;2-M 10.1002/1521-3870(200010)46:4<505::AID-MALQ505>3.0.CO;2-MzbMath0963.03061OpenAlexW2007555602MaRDI QIDQ4521125

Henryk Kotlarski, Richard W. Kaye

Publication date: 18 June 2001

Full work available at URL: https://doi.org/10.1002/1521-3870(200010)46:4<505::aid-malq505>3.0.co;2-m

zbMATH Keywords

arithmetized completeness theoremmodels of arithmeticreflection principlesend extensionsdefinable elementsomega-consistency

Mathematics Subject Classification ID

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

Related Items (4)

On proofs of the incompleteness theorems based on Berry's paradox by Vopěnka, Chaitin, and Boolos ⋮ MODEL THEORY AND PROOF THEORY OF THE GLOBAL REFLECTION PRINCIPLE ⋮ Local reflection, definable elements and 1-provability ⋮ CURRENT RESEARCH ON GÖDEL’S INCOMPLETENESS THEOREMS

This page was built for publication: On Models Constructed by Means of the Arithmetized Completeness Theorem