Axiom Of Choice

We have the following indirect implication of form equivalence classes:

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

Implication	Reference
65 \(\Rightarrow\) 65

Here are the links and statements of the form equivalence classes referenced above:

Howard-Rubin Number	Statement
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.
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