On the structure of initial segments of models of arithmetic

DOI10.1007/BF01633984MaRDI QIDQ1123890zbMATH OpenFDO

Authors Jan Krajíček, Pavel Pudlák

Publication date 1989

Published in Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BF01633984

zbMATH Keywords

complexity classeslength of proof

Mathematics Subject Classification ID

Models of arithmetic and set theory (03C62) Complexity of proofs (03F20) First-order arithmetic and fragments (03F30) Nonstandard models of arithmetic (03H15)

Recommendations

• Theories of initial segments of standard models of arithmetics and their complete extensions
• Some remarks on initial segments in models of Peano arithmetic
• Models of Peano arithmetic as modules over initial segments
• scientific article; zbMATH DE number 4012612
• Subsets of models of arithmetic
• The structure of models of Peano arithmetic
• scientific article; zbMATH DE number 4043837
• Models of arithmetic in \(A\)-isols
• scientific article; zbMATH DE number 999649
• Theories of arithmetics in finite models

Cited in

(10)

• Inconsistent models of arithmetic. I: Finite models
• Models of arithmetic in \(A\)-isols
• Existentially closed models in the framework of arithmetic
• scientific article; zbMATH DE number 3941534 (Why is no real title available?)
• An addition to Rosser's theorem
• Strong initial segments of models of IΔ₀
• Theories of initial segments of standard models of arithmetics and their complete extensions
• Injecting inconsistencies into models of PA
• A sharpened version of McAloon's theorem on initial segments of models of \(I\Delta_ 0\)
• Finitary consistency of a free arithmetic

This page was built for publication: On the structure of initial segments of models of arithmetic

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