[image] -Determinacy, Comprehension and Induction

Journal of Symbolic Logic 72 (2):452 - 462 (2007)

Abstract
We show that each of $\Delta _{3}^{1}-{\rm CA}_{0}+\Sigma _{3}^{1}-{\rm IND}$ and $\Pi _{2}^{1}-{\rm CA}_{0}+\Pi _{3}^{1}-{\rm TI}$ proves $\Delta _{3}^{0}-{\rm Det}$ and that neither $\Sigma _{3}^{1}-{\rm IND}$ nor $\Pi _{3}^{1}-{\rm TI}$ can be dropped. We also show that neither $\Delta _{3}^{1}-{\rm CA}_{0}+\Sigma _{\infty}^{1}-{\rm IND}$ nor $\Pi _{2}^{1}-{\rm CA}_{0}+\Pi _{\infty}^{1}-{\rm TI}$ proves $\Sigma _{3}^{0}-{\rm Det}$. Moreover, we prove that none of $\Delta _{2}^{1}-{\rm CA}_{0}$, $\Sigma _{3}^{1}-{\rm IND}$ and $\Pi _{2}^{1}-{\rm TI}$ is provable in $\Delta _{1}^{1}-{\rm Det}_{0}={\rm ACA}_{0}+\Delta _{1}^{1}-{\rm Det}$
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.2178/jsl/1185803618
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 43,865
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

Open Questions in Reverse Mathematics.Antonio Montalbán - 2011 - Bulletin of Symbolic Logic 17 (3):431-454.
Games for Truth.P. D. Welch - 2009 - Bulletin of Symbolic Logic 15 (4):410-427.
Reverse Mathematics: The Playground of Logic.Richard A. Shore - 2010 - Bulletin of Symbolic Logic 16 (3):378-402.
Fraïssé’s Conjecture in [Math]-Comprehension.Antonio Montalbán - 2017 - Journal of Mathematical Logic 17 (2):1750006.

View all 8 citations / Add more citations

Similar books and articles

Necessary Use of [Image] Induction in a Reversal.Itay Neeman - 2011 - Journal of Symbolic Logic 76 (2):561 - 574.

Analytics

Added to PP index
2013-09-30

Total views
15 ( #551,940 of 2,266,146 )

Recent downloads (6 months)
3 ( #441,950 of 2,266,146 )

How can I increase my downloads?

Downloads

My notes

Sign in to use this feature