Hydras for ω₁
classification
🧮 math.LO
keywords
hydraassumptionbattleeventuallyexistsfacthydrasintroduce
read the original abstract
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'.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.