On end extensions of models of subsystems of Peano arithmetic

DOI10.1016/S0304-3975(00)00110-9MaRDI QIDQ5941254zbMATH OpenOpenAlexFDO

Authors C. Dimitracopoulos

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

zbMATH Keywords

arithmetized completeness theoremcollection schemaend extensioninduction schemaPeano arithmeticultrafilter

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Recommendations

• End extensions of models of arithmetic
• scientific article; zbMATH DE number 1302488
• End extensions of models of fragments of \(\mathrm{PA}\)
• A note on end extensions
• A contribution to the end-extension problem and the \(\Pi_ 1\) conservativeness problem

Cites work

• A note on end extensions
• A note on the Mac Dowell-Specker theorem
• Completeness Theorems, Incompleteness Theorems and Models of Arithmetic
• scientific article; zbMATH DE number 3979054 (Why is no real title available?)
• scientific article; zbMATH DE number 3745164 (Why is no real title available?)
• scientific article; zbMATH DE number 1295215 (Why is no real title available?)
• scientific article; zbMATH DE number 227056 (Why is no real title available?)
• scientific article; zbMATH DE number 3204609 (Why is no real title available?)
• scientific article; zbMATH DE number 3320380 (Why is no real title available?)

Cited in

(6)

• End extensions of models of arithmetic
• End extensions of models of fragments of \(\mathrm{PA}\)
• Algebraic combinatorics in bounded induction
• scientific article; zbMATH DE number 1302488 (Why is no real title available?)
• A contribution to the end-extension problem and the \(\Pi_ 1\) conservativeness problem
• On two problems concerning end extensions

This page was built for publication: On end extensions of models of subsystems of Peano arithmetic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5941254)