On forcing axioms and weakenings of the Axiom of Choice
We prove forcing axiom equivalents of two families of weakenings of the axiom of choice: a trichotomy principle for cardinals isolated by Lévy, ${\rm H\hskip0.05pt}_κ$, and ${\rm DC}_κ$, the principle of dependent choices generalized to cardinals $κ$, for regular cardinals $κ$. Using these equivalents we obtain new forcing axiom formulations of the axiom of choice. A point of interest is that we use a new template for forcing axioms. For the class of forcings to which we asks that the axioms apply, we do not ask that they apply to all collections of dense sets of a certain cardinality, but rather only for each particular forcing to a specific family of dense sets of the cardinality in question.
math.LO↗