A note on multiple inductive definitions

Kazuyuki Tanaka

研究成果: Conference 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.

本文言語English
ホスト出版物のタイトルProceedings of the 10th Asian Logic Conference
出版社World Scientific Publishing Co. Pte Ltd
ページ345-352
ページ数8
ISBN(印刷版)9814293016, 9789814293013
出版ステータスPublished - 2010 1 1
イベント2008 10th Asian Logic Conference - Kobe, Japan
継続期間: 2008 9 12008 9 6

Other

Other2008 10th Asian Logic Conference
国/地域Japan
CityKobe
Period08/9/108/9/6

ASJC Scopus subject areas

  • 論理

フィンガープリント

「A note on multiple inductive definitions」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル