On end extensions of models of subsystems of Peano arithmetic
From MaRDI portal
Publication:5941254
DOI10.1016/S0304-3975(00)00110-9zbMath0974.68102MaRDI QIDQ5941254
No author found.
Publication date: 20 August 2001
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/s0304-3975(00)00110-9
Peano arithmetic; arithmetized completeness theorem; collection schema; end extension; induction schema; ultrafilter
68Q45: Formal languages and automata
Related Items
Cites Work