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

DOI10.1305/ndjfl/1027953483zbMath1005.03054MaRDI 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 models; models of arithmetic; Gödel incompleteness theorem; Kripke; elementary number theory; nonnegative integers; quantificational logic

Mathematics Subject Classification ID

01A60: History of mathematics in the 20th century

03F30: First-order arithmetic and fragments

03-03: History of mathematical logic and foundations

03H15: Nonstandard models of arithmetic

03C62: Models of arithmetic and set theory

11U09: Model theory (number-theoretic aspects)

11U10: Nonstandard arithmetic (number-theoretic aspects)

Related Items

Gödel's incompleteness theorems. On the occasion of Kurt Gödel's 100th anniversary on April 28, 2006, On the generative power of transformational grammars