Anew proof is given for the independence of the termination of Kirby–Paris’ Hydra Game from Peano Arithmetic by showing that it is strong enough to entail the termination of Gentzen’s Reduction Strategy for proof 3gures via an appropriate translation from derivations to hydras.
A new proof-theoretic proof of the independence of Kirby-Paris' Hydra Theorem / Carlucci, Lorenzo. - In: THEORETICAL COMPUTER SCIENCE. - ISSN 0304-3975. - 300:(2003), pp. 365-378.
A new proof-theoretic proof of the independence of Kirby-Paris' Hydra Theorem
CARLUCCI, LORENZO
2003
Abstract
Anew proof is given for the independence of the termination of Kirby–Paris’ Hydra Game from Peano Arithmetic by showing that it is strong enough to entail the termination of Gentzen’s Reduction Strategy for proof 3gures via an appropriate translation from derivations to hydras.File allegati a questo prodotto
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
