A note on multiple inductive definitions

Research output: Chapter in Book/Report/Conference proceedingConference contribution


In Ref. 8, we introduced a new axiom scheme for multiple inductive definitions to capture the exact strength of Δ30 -determinacy in second order arithmetic. In this paper, we show this complicated axiom turns out to be equivalent to an axiom of single inductive definitions. This observation is useful to characterize ∏2 1-CA0 and related systems.

Original languageEnglish
Title of host publicationProceedings of the 10th Asian Logic Conference
PublisherWorld Scientific Publishing Co. Pte Ltd
Number of pages8
ISBN (Print)9814293016, 9789814293013
Publication statusPublished - 2010 Jan 1
Event2008 10th Asian Logic Conference - Kobe, Japan
Duration: 2008 Sep 12008 Sep 6


Other2008 10th Asian Logic Conference


  • determinacy
  • inductive definitions
  • second order arithmetic

ASJC Scopus subject areas

  • Logic

Fingerprint Dive into the research topics of 'A note on multiple inductive definitions'. Together they form a unique fingerprint.

Cite this