2 papers
math.LO2024
Three forms of the Erdős-Dushnik-Miller Theorem
Paul Howard, Eleftherios Tachtsis
We continue the study of the Erdős-Dushnik-Miller theorem (A graph with an uncountable set of vertices has either an infinite independent set or an uncountable clique) in set theor…
math.LO2024
Maximal δ-separated sets in separable metric spaces and weak forms of choice
Michał Dybowski, Przemyslaw Górka, Paul Howard
We show that the statement ``In every separable pseudometric space there is a maximal non-strictly δ-separated set.'' implies the axiom of choice for countable families of sets. Th…