Existentially closed structures and Gödel's second incompleteness theorem

DOI10.2307/2694926zbMATH Open0981.03043OpenAlexW2053241037MaRDI QIDQ2732285FDOQ2732285

Authors: Zofia Adamowicz, Teresa Bigorajska 

Publication date: 11 March 2002

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2694926

Recommendations

• On Godel's Second Incompleteness Theorem
• Can we make the second incompleteness theorem coordinate free?
• Gödel's second incompleteness theorem for \(\Sigma_n\)-definable theories
• An incompleteness theorem for β_n-models
• A general principle for purely model-theoretical proofs of Gödel's second incompleteness theorem

zbMATH Keywords

second incompleteness theoremexistentially closed models

Mathematics Subject Classification ID

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

Cites Work

• A Note on Boolos' Proof of the Incompleteness Theorem
• On the incompleteness theorems
• Kolmogorov complexity and the second incompleteness theorem
• Other Proofs of Old Results
• Overspill and fragments of arithmetic

Cited In (14)

• Semi-honest subrecursive degrees and the collection rule in arithmetic
• Provability logic: models within models in Peano arithmetic
• A general principle for purely model-theoretical proofs of Gödel's second incompleteness theorem
• Partial collapses of the \(\Sigma _1\) complexity hierarchy in models for fragments of bounded arithmetic
• Current research on Gödel's incompleteness theorems
• Some specially formulated axiomizations for \(\mathrm{I}\Sigma _0\) manage to evade the Herbrandized version of the second incompleteness theorem
• Preservation theorems and restricted consistency statements in bounded arithmetic
• The incompleteness theorems after 70 years
• Passive induction and a solution to a Paris-Wilkie open question
• The scope of Gödel's first incompleteness theorem
• An incompleteness theorem for β_n-models
• The axiom system \(\mathrm{I}\Sigma_{0}\) manages to simultaneously obey and evade the Herbrandized version of the second incompleteness theorem
• A note on Σ₁-maximal models
• Restricted polynomial induction versus ordinary induction

This page was built for publication: Existentially closed structures and Gödel's second incompleteness theorem

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