Access the full text.
Sign up today, get DeepDyve free for 14 days.
T. Arai (1984)
An accessibility proof of ordinal diagrams in intuitionistic theories for iterated inductive definitionsTsukuba journal of mathematics, 8
E. Cichon (1983)
A short proof of two recently discovered independence results using recursion theoretic methods, 87
L. Kirby, J. Paris (1982)
Accessible Independence Results for Peano ArithmeticBulletin of The London Mathematical Society, 14
M. Okada (1988)
Note on a Proof of the Extended Kirby - Paris Theorem on Labeled Finite TreesEur. J. Comb., 9
Jussi KETONENt, Robert SOLOVAYtt (1981)
Rapidly growing Ramsey functionsAnnals of Mathematics, 113
M. Hamano, M. Okada (1995)
A Relationship Among Gentzen's Proof‐Reduction, Kirby‐Paris' Hydra Game and Buchholz's Hydra GameMathematical Logic Quarterly, 43
M. Okada (1987)
A simple relationship between Buchholz's new system of ordinal notations and Takeuti's system of ordinal diagramsJournal of Symbolic Logic, 52
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 $(\Pi^{1}_{1}-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.
Archive for Mathematical Logic – Springer Journals
Published: Mar 1, 1998
Read and print from thousands of top scholarly journals.
Already have an account? Log in
Bookmark this article. You can see your Bookmarks on your DeepDyve Library.
To save an article, log in first, or sign up for a DeepDyve account if you don’t already have one.
Copy and paste the desired citation format or use the link below to download a file formatted for EndNote
Access the full text.
Sign up today, get DeepDyve free for 14 days.
All DeepDyve websites use cookies to improve your online experience. They were placed on your computer when you launched this website. You can change your cookie settings through your browser.