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

DOI10.1305/ndjfl/1027953483zbMath1005.03054OpenAlexW1975347218MaRDI QIDQ698542

Hilary 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

zbMATH Keywords

nonstandard modelsmodels of arithmeticGödel incompleteness theoremKripkeelementary number theorynonnegative integersquantificational logic

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) First-order arithmetic and fragments (03F30) History of mathematical logic and foundations (03-03) Nonstandard models of arithmetic (03H15) Models of arithmetic and set theory (03C62) Model theory (number-theoretic aspects) (11U09) Nonstandard arithmetic (number-theoretic aspects) (11U10)

Related Items

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