Implications

We have the following indirect implication of form equivalence classes:

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

Implication Reference
1 \(\Rightarrow\) 65

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.

65:

The Krein-Milman Theorem: Let \(K\) be a compact convex set in a locally convex topological vector space \(X\). Then \(K\) has an extreme point. (An extreme point is a point which is not an interior point of any line segment which lies in  \(K\).) Rubin, H./Rubin, J. [1985] p. 177.

Comment:

Back