Implications

We have the following indirect implication of form equivalence classes:

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

Implication Reference
430-p \(\Rightarrow\) 67 clear
67 \(\Rightarrow\) 112 clear
112 \(\Rightarrow\) 395 clear

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

Howard-Rubin Number Statement
430-p:

(Where \(p\) is a prime) \(AL21\)\((p)\): Every vector space over \(\mathbb Z_p\) has the property that for every subspace \(S\) of \(V\), there is a subspace \(S'\) of \(V\) such that \(S \cap S' = \{ 0 \}\) and \(S \cup S'\) generates \(V\) in other words such that \(V = S \oplus S'\).   Rubin, H./Rubin, J [1985], p.119, AL21.

67:

\(MC(\infty,\infty)\) \((MC)\), The Axiom of Multiple Choice: For every set \(M\) of non-empty sets there is a function \(f\) such that \((\forall x\in M)(\emptyset\neq f(x)\subseteq x\) and \(f(x)\) is finite).

112:

\(MC(\infty,LO)\): For every family \(X\) of non-empty sets each of which can be linearly ordered there is a function \(f\) such that for all \(y\in X\), \(f(y)\) is a non-empty finite subset of \(y\).

395:

\(MC(LO,LO)\): For each linearly ordered family of non-empty linearly orderable sets \(X\), there is a function \(f\) such that for all \(x\in X\) \(f(x)\) is a non-empty, finite subset of \(x\).

Comment:

Back