A sharpened version of McAloon's theorem on initial segments of models of I_ 0

DOI10.1016/0168-0072(93)90197-LMaRDI QIDQ685068zbMATH OpenFDO

Authors Paola D'Aquino

Publication date 22 September 1993

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

zbMATH Keywords

fragment of Peano arithmeticbounded quantifiers

Mathematics Subject Classification ID

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

Recommendations

• Strong initial segments of models of IΔ₀
• Some remarks on initial segments in models of Peano arithmetic
• On the structure of models of bounded $E\sb 1$-induction
• On the structure of initial segments of models of arithmetic
• A Generalization of a Theorem of H. Friedman

Cites work

• scientific article; zbMATH DE number 3857078 (Why is no real title available?)
• scientific article; zbMATH DE number 4137758 (Why is no real title available?)
• scientific article; zbMATH DE number 3972855 (Why is no real title available?)
• scientific article; zbMATH DE number 3689386 (Why is no real title available?)
• scientific article; zbMATH DE number 3700836 (Why is no real title available?)
• scientific article; zbMATH DE number 3745156 (Why is no real title available?)
• scientific article; zbMATH DE number 51556 (Why is no real title available?)
• Bounded existential induction
• Diophantine induction
• Local behaviour of the Chebyshev theorem in models of I⊿₀
• On the complexity of models of arithmetic

Cited in

(4)

• Hierarchical incompleteness results for arithmetically definable extensions of fragments of arithmetic
• Strong initial segments of models of IΔ₀
• Algebraic combinatorics in bounded induction
• Marginalia on a theorem of Woodin

This page was built for publication: A sharpened version of McAloon's theorem on initial segments of models of \(I\Delta_ 0\)

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