On forcing axioms and weakenings of the Axiom of Choice

Diego Lima Bomfim, Charles Morgan, Samuel Gomes da Silva

We prove forcing axiom equivalents of two families of weakenings of the axiom of choice: a trichotomy principle for cardinals isolated by Lévy, ${\mathrm{H}}_{\hat{I}}º$, and ${\rm…