A direct independence proof of Buchholz's Hydra Game on finite labeled trees

Masahiro Hamano, Mitsuhiro Okada

研究成果: Article査読

5 被引用数 (Scopus)

抄録

We shall give a direct proof of the independence result of a Buchholz style-Hydra Game on labeled finite trees. We shall show that Takeuti-Arai's cut-elimination procedure of (Π11 - CA) + BI and of the iterated inductive definition systems can be directly expressed by the reduction rules of Buchholz's Hydra Game. As a direct corollary the independence result of the Hydra Game follows.

本文言語English
ページ(範囲)67-89
ページ数23
ジャーナルArchive for Mathematical Logic
37
2
DOI
出版ステータスPublished - 1998 3

ASJC Scopus subject areas

  • 哲学
  • 論理

フィンガープリント

「A direct independence proof of Buchholz's Hydra Game on finite labeled trees」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル