Generalizing Hartogs' Trichotomy Theorem
classification
🧮 math.LO
keywords
axiomcardinalschoicehartogspairargumentcelebratedcomparability
read the original abstract
A celebrated argument of F. Hartogs (1915) deduces the Axiom of Choice from the hypothesis of comparability for any pair of cardinals. We show how each of a sequence of seemingly much weaker hypotheses suffices. Fixing a finite number $k>1$, the Axiom of Choice follows if merely any family of $k$ cardinals contains at least one comparable pair.
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.