We have the following indirect implication of form equivalence classes:
Implication | Reference |
---|---|
1 \(\Rightarrow\) 171 |
Here are the links and statements of the form equivalence classes referenced above:
Howard-Rubin Number | Statement |
---|---|
1: | \(C(\infty,\infty)\): The Axiom of Choice: Every set of non-empty sets has a choice function. |
171: | If \((P,\le)\) is a partial order such that \(P\) is the denumerable union of finite sets and all antichains in \(P\) are finite then for each denumerable family \({\cal D}\) of dense sets there is a \({\cal D}\) generic filter. |
Comment: