Sciweavers

WOLLIC
2007
Springer

Hydra Games and Tree Ordinals

14 years 5 months ago
Hydra Games and Tree Ordinals
Hydra games were introduced by Kirby and Paris, for the formulation of a result which is independent from Peano arithmetic but depends on the transfinite structure of 0. Tree ordinals are a well-known simple way to represent countable ordinals. In this paper we study the relation between these concepts; an ordinal less than 0 is canonically translated into both a hydra and a tree ordinal term, and the reduction graph of the hydra and the normal form of the term syntactically correspond to each other.
Ariya Isihara
Added 09 Jun 2010
Updated 09 Jun 2010
Type Conference
Year 2007
Where WOLLIC
Authors Ariya Isihara
Comments (0)