On Models Constructed by Means of the Arithmetized Completeness Theorem

DOI10.1002/1521-3870(200010)46:4%3C505::AID-MALQ505%3E3.0.CO;2-MMaRDI QIDQ4521125zbMATH OpenOpenAlexFDO

Authors Henryk Kotlarski, Richard Kaye

Publication date 18 June 2001

Full work available at URL https://doi.org/10.1002/1521-3870(200010)46:4%3C505::aid-malq505%3E3.0.co;2-m

zbMATH Keywords

arithmetized completeness theoremdefinable elementsend extensionsmodels of arithmeticomega-consistencyreflection principles

Mathematics Subject Classification ID

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

Recommendations

• A model theoretic approach to proof theory of arithmetic
• Publication:4944059
• Arithmetically complete modal theories
• scientific article; zbMATH DE number 1302878
• scientific article; zbMATH DE number 4104935
• scientific article; zbMATH DE number 1357425
• Existentially closed models in the framework of arithmetic
• Theories of arithmetics in finite models
• On M-recursively saturated models of arithmetic
• Model theory of bounded arithmetic with applications to independence results

Cited in

(5)

• Local reflection, definable elements and 1-provability
• On proofs of the incompleteness theorems based on Berry's paradox by Vopěnka, Chaitin, and Boolos
• Current research on Gödel's incompleteness theorems
• MODEL THEORY AND PROOF THEORY OF THE GLOBAL REFLECTION PRINCIPLE
• \(\text{NP}\not={co}\)-NP and models of arithmetic

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

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