Nonstandard models and Kripke's proof of the Gödel theorem
From MaRDI portal
(Redirected from Nonstandard models and Kripke's proof of the Gödel theorem)
elementary number theoryGödel incompleteness theoremKripkemodels of arithmeticnonnegative integersnonstandard modelsquantificational logic
History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03) Models of arithmetic and set theory (03C62) First-order arithmetic and fragments (03F30) Nonstandard models of arithmetic (03H15) Model theory (number-theoretic aspects) (11U09) Nonstandard arithmetic (number-theoretic aspects) (11U10)
Recommendations
- scientific article; zbMATH DE number 3230240
- scientific article; zbMATH DE number 6302903
- On formalization of model-theoretic proofs of Gödel's theorems
- A general principle for purely model-theoretical proofs of Gödel's second incompleteness theorem
- On nonstandard models in higher order logic
- Nonstandard models that are definable in models of Peano Arithmetic
- A non-hyperarithmetical Gödel logic
- Towards a proof theory of Gödel modal logics
- Finite Kripke models and predicate logics of provability
- Model existence in non-compact modal logic
Cited in
(7)- Modeling unicorns and dead cats: applying Bressan's \(\mathrm{ML}^\nu\) to the necessary properties of non-existent objects
- The scope of Gödel's first incompleteness theorem
- On the generative power of transformational grammars
- After Godel
- Gödel's second incompleteness theorem: how it is derived and what it delivers
- scientific article; zbMATH DE number 3230240 (Why is no real title available?)
- Gödel's incompleteness theorems. On the occasion of Kurt Gödel's 100th anniversary on April 28, 2006
This page was built for publication: Nonstandard models and Kripke's proof of the Gödel theorem
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q698542)
