A new proof-theoretic proof of the independence of Kirby-Paris' hydra theorem.
type: Item
instance of: scholarly article
title: A new proof-theoretic proof of the independence of Kirby-Paris' hydra theorem.
zbMATH Open document ID: 1040.91022
DOI: 10.1016/S0304-3975(02)00332-8
author: Lorenzo Carlucci
published in: Theoretical Computer Science
publication date: 2003-07-30T00:00:00Z
Mathematics Subject Classification ID: 91A46
zbMATH DE Number: 1957330
MaRDI profile type: Publication
cites work: An independence result for \((\Pi^ 1_ 1-CA)+BI\)
cites work: Q3773880
cites work: A Short Proof of Two Recently Discovered Independence Results Using Recursion Theoretic Methods
cites work: A Relationship Among Gentzen's Proof-Reduction, Kirby-Paris' Hydra Game and Buchholz's Hydra Game
cites work: A direct independence proof of Buchholz's Hydra Game on finite labeled trees
cites work: Accessible Independence Results for Peano Arithmetic
cites work: Rapidly growing Ramsey functions
cites work: Proof theory. 2nd ed
description: scientific article; zbMATH DE number 1957330