Pages that link to "Item:Q2732301"
From MaRDI portal
The following pages link to A general principle for purely model-theoretical proofs of Gödel's second incompleteness theorem (Q2732301):
Displaying 6 items.
- Nonstandard models and Kripke's proof of the Gödel theorem (Q698542) (← links)
- On formalization of model-theoretic proofs of Gödel's theorems (Q1893141) (← links)
- A generalization of the second incompleteness theorem and some exceptions to it (Q2500470) (← links)
- Existentially closed structures and Gödel's second incompleteness theorem (Q2732285) (← links)
- Some abstract versions of G\"odel's second incompleteness theorem based on non-classical logics (Q5224682) (← links)
- An incompleteness theorem for <i>β</i><sub><i>n</i></sub>-models (Q5311743) (← links)
