\(\Delta_{2}\) degrees without \(\Sigma_{1}\) induction

DOI10.1007/s11856-014-1039-xzbMath1341.03053OpenAlexW2070054846MaRDI QIDQ466117

Wei Li

Publication date: 24 October 2014

Published in: Israel Journal of Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11856-014-1039-x

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Other Turing degree structures (03D28)

Cites Work

• The degree of a \(\Sigma_ n\) cut
• Σ₂-collection and the infinite injury priority method
• Finite injury and Σ₁-induction
• Model-theoretic properties characterizing Peano arithmetic
• ∑ n Definable Sets without ∑ n Induction
• Σ_{𝑛}-bounding and Δ_{𝑛}-induction
• The jump of a Σ _n -cut
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: \(\Delta_{2}\) degrees without \(\Sigma_{1}\) induction