On end extensions of models of subsystems of Peano arithmetic
From MaRDI portal
Publication:5941254
DOI10.1016/S0304-3975(00)00110-9zbMath0974.68102OpenAlexW2070926400MaRDI 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 arithmeticarithmetized completeness theoremcollection schemaend extensioninduction schemaultrafilter
Related Items
Cites Work