Δ30-determinacy, comprehension and induction

Medyahya Ould Medsalem, Kazuyuki Tanaka

Research output: Contribution to journalArticlepeer-review

17 Citations (Scopus)

Abstract

We show that each of Δ31-CA031-IND and ∏21-CA 0 + ∏31-TI proves Δ3 0-Det and that neither Σ31-IND nor ∏31-TI can be dropped. We also show that neither Δ31-CA0 + Σ 1-IND nor ∏21-CA0 + ∏1-TI proves Sigma;3 0-Det. Moreover, we prove that none of Δ2 1-CA0, Σ31-IND and ∏21-TI is provable in Δ1 1-Det0 = ACA0 + Δ1 1-Det.

Original languageEnglish
Pages (from-to)452-462
Number of pages11
JournalJournal of Symbolic Logic
Volume72
Issue number2
DOIs
Publication statusPublished - 2007 Jun 1

ASJC Scopus subject areas

  • Philosophy
  • Logic

Fingerprint Dive into the research topics of 'Δ<sub>3</sub><sup>0</sup>-determinacy, comprehension and induction'. Together they form a unique fingerprint.

Cite this