Los puntos clave no están disponibles para este artículo en este momento.
We prove forcing axiom equivalents of two families of weakenings of the axiom of choice: a trichotomy principle for cardinals isolated by L\'evy, H0. 05pt_, and 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.
Bomfim et al. (Tue,) studied this question.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: