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

DOI10.1016/0168-0072(93)90197-LzbMATH Open0785.03038MaRDI QIDQ685068FDOQ685068

Authors: Paola D'Aquino 

Publication date: 22 September 1993

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

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

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Diophantine induction
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• On the complexity of models of arithmetic
• Bounded existential induction
• Title not available (Why is that?)
• Local behaviour of the Chebyshev theorem in models of I⊿₀

Cited In (4)

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

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)