Abstract
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 language | English |
---|---|
Title of host publication | Proceedings of the 10th Asian Logic Conference |
Publisher | World Scientific Publishing Co. Pte Ltd |
Pages | 345-352 |
Number of pages | 8 |
ISBN (Print) | 9814293016, 9789814293013 |
Publication status | Published - 2010 Jan 1 |
Event | 2008 10th Asian Logic Conference - Kobe, Japan Duration: 2008 Sep 1 → 2008 Sep 6 |
Other
Other | 2008 10th Asian Logic Conference |
---|---|
Country/Territory | Japan |
City | Kobe |
Period | 08/9/1 → 08/9/6 |
Keywords
- determinacy
- inductive definitions
- second order arithmetic
ASJC Scopus subject areas
- Logic