… The Kirby-Paris Hydra and the Buchholz Hydra treated in this paper have traditionally
been studied and used in the context of ordinal analysis [Rat06], a branch of proof theory that …

… the hydra that extends up from k. The figure at the top right in Figure 12 shows the hydra after
… There is no way of labeling the hydra's points to make this growth correspond to Smullyan's …

… In chapter II, I will explore the techniques Supergiant Games employs as they … Games
placed their game within our world. By the conclusion, it will be clear how Supergiant Games …

… another metaphor—that of the " many-headed hydra." This phrase comes from the title of …
6 Drawing on their image of proliferating, clandestine, hydra-like revolt, I argue that twenty-…

Simple race games, played with dice and without choice of move, are known from antiquity.
In the late 16th century, specific examples of this class of game emerged from Italy and …

… Robert Sweeny, a commentator on our book, The Many Headed Hydra, criticized one of its
seeds twenty years ago in another Newfoundland scholarly journal, LabourlLe Travail. The …

… The Crab [Cancer] is thought to have been placed among the stars by Hera, because, when
all the other animals favored Heracles in his struggle against the hydra, the crab jumped out …

… To complete the naming of the known planets in Hydra, we may use three Danaids, Adiante,
Amymone, and Hyperippe. Amymone also resonates with the Hydra itself, since the monster …

… In particular, Hydra is not capable of learning. Improvements are carried out between
games by the developers. As a consequence, Hydra was soon outperformed by machines that …

This article looks at the Great Schism that took place in 1895 when 22 rugby clubs seceded
from the Rugby Football Union (RFU) and set up their own confederacy. Some have …