Three forms of the Erd\H{o}s-Dushnik-Miller Theorem
Logic
2025-04-15 v3
Abstract
We continue the study of the Erd\H{o}s-Dushnik-Miller theorem (A graph with an uncountable set of vertices has either an infinite independent set or an uncountable clique) in set theory without the axiom of choice. We show that there are three inequivalent versions of this theorem and we give some results about the positions of these versions in the deductive hierarchy of weak choice principles.
Cite
@article{arxiv.2410.18229,
title = {Three forms of the Erd\H{o}s-Dushnik-Miller Theorem},
author = {Paul Howard and Eleftherios Tachtsis},
journal= {arXiv preprint arXiv:2410.18229},
year = {2025}
}