Non-standard models of Peano arithmetic

zbMath0529.03041MaRDI QIDQ787136

Saul A. Kripke

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)

Related Items (4)

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

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