Non-standard models of Peano arithmetic
From MaRDI portal
Publication:787136
zbMath0529.03041MaRDI QIDQ787136
Publication date: 1982
Published in: L'Enseignement Mathématique. 2e Série (Search for Journal in Brave)
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