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.
2003
proof theory, unprovability, games on trees
01 Pubblicazione su rivista::01a Articolo in rivista
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.
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.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11573/138855
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 3
  • ???jsp.display-item.citation.isi??? 4
social impact