Dense orderings, partitions and weak forms of choice
Volume 147 / 1995
Fundamenta Mathematicae 147 (1995), 11-25
DOI: 10.4064/fm-147-1-11-25
Abstract
We investigate the relative consistency and independence of statements which imply the existence of various kinds of dense orders, including dense linear orders. We study as well the relationship between these statements and others involving partition properties. Since we work in ZF (i.e. without the Axiom of Choice), we also analyze the role that some weaker forms of AC play in this context