Nonstandard models and Kripke's proof of the Gödel theorem
From MaRDI portal
(Redirected from Publication:698542)
Kripkenonstandard modelsmodels of arithmeticelementary number theorynonnegative integersquantificational logicGödel incompleteness theorem
History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03) First-order arithmetic and fragments (03F30) Models of arithmetic and set theory (03C62) 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)- scientific article; zbMATH DE number 3230240 (Why is no real title available?)
- After Godel
- Gödel's incompleteness theorems. On the occasion of Kurt Gödel's 100th anniversary on April 28, 2006
- The scope of Gödel's first incompleteness theorem
- Gödel's second incompleteness theorem: how it is derived and what it delivers
- On the generative power of transformational grammars
- Modeling unicorns and dead cats: applying Bressan's \(\mathrm{ML}^\nu\) to the necessary properties of non-existent objects
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)
