Non-standard models of Peano arithmetic

MaRDI QIDQ787136zbMATH OpenFDO

Authors 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)