We have the following indirect implication of form equivalence classes:
Implication | Reference |
---|---|
1 \(\Rightarrow\) 408 |
Bemerkungen zu einem Lemma von E. Engeler und A. Robinson, Felscher, W. 1964, Z. Math. Logik Grundlagen Math. |
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. |
408: | If \(\{f_i: i\in I\}\) is a family of functions such that for each \(i\in I\), \(f_i\subseteq E\times W\), where \(E\) and \(W\) are non-empty sets, and \(\cal B\) is a filter base on \(I\) such that
|
Comment: