Non-standard models of Peano arithmetic

zbMATH Open0529.03041MaRDI QIDQ787136FDOQ787136

Saul A. Kripke, Simon B. Kochen

Publication date: 1982

Published in: L'Enseignement Mathématique. 2e Série (Search for Journal in Brave)

zbMATH Keywords

Ramsey theoremsbounded ultrapowers

Mathematics Subject Classification ID

Nonstandard models of arithmetic (03H15)

Cited In (4)

• The scope of Gödel's first incompleteness theorem
• Polynomial time ultrapowers and the consistency of circuit lower bounds
• Construction of models of bounded arithmetic by restricted reduced powers
• P, NP, Co-NP and weak systems of arithmetic

This page was built for publication: Non-standard models of Peano arithmetic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q787136)