A sharpened version of McAloon's theorem on initial segments of models of \(I\Delta_ 0\)

DOI10.1016/0168-0072(93)90197-LzbMath0785.03038MaRDI QIDQ685068

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) Nonstandard models of arithmetic (03H15) Models of arithmetic and set theory (03C62)

Related Items (3)

Algebraic combinatorics in bounded induction ⋮ MARGINALIA ON A THEOREM OF WOODIN ⋮ HIERARCHICAL INCOMPLETENESS RESULTS FOR ARITHMETICALLY DEFINABLE EXTENSIONS OF FRAGMENTS OF ARITHMETIC

Cites Work

• Diophantine induction
• On the complexity of models of arithmetic
• Bounded existential induction
• Local behaviour of the Chebyshev theorem in models of I⊿₀
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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