Implications

We have the following indirect implication of form equivalence classes:

1 \(\Rightarrow\) 184
given by the following sequence of implications, with a reference to its direct proof:

Implication Reference
1 \(\Rightarrow\) 184

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.

184:

Existence of a double uniformization: For all \(X\) and \(Y\), for all \(E\subseteq X\times Y\), if there is an infinite cardinal \(\kappa\) satisfying:

  1. \(\forall y_0\in Y\), \(|\{(x,y_0): x\in X\}\cap E| =\kappa\) and
  2. \(\forall x_0\in X\), \(|\{(x_0,y): y\in Y\}\cap E| = \kappa\),
then \(\exists U\subseteq E\) such that for all \((x,y)\in E, \exists !z\in X\) such that \((z,y)\in U\) and \(\exists !z\in Y\) such that \((x,z)\in U\). (\(U\) is called a double uniformization of \(E\).)

Comment:

Back