Nonstandard models and Kripke's proof of the Gödel theorem

DOI10.1305/NDJFL/1027953483zbMATH Open1005.03054OpenAlexW1975347218MaRDI QIDQ698542FDOQ698542

Authors: Hilary W. Putnam 

Publication date: 19 September 2002

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1027953483

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

zbMATH Keywords

Kripkenonstandard modelsmodels of arithmeticelementary number theorynonnegative integersquantificational logicGödel incompleteness theorem

Mathematics Subject Classification ID

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)

Cited In (7)

• Title not available (Why is that?)
• After Godel
• The scope of Gödel's first incompleteness theorem
• Gödel's incompleteness theorems. On the occasion of Kurt Gödel's 100th anniversary on April 28, 2006
• 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)