Hydras for $ω_{1}$
Toshiyasu Arai · arXiv (Cornell University) · 2015
In this paper we introduce a hydra battle. Each hydra will eventually die out, but the fact is not provable in a set theory with urelements of natural numbers and the assumption that `there exists an uncountable regular ordinal'.