We have the following indirect implication of form equivalence classes:
Implication | Reference |
---|---|
428 \(\Rightarrow\) 0 |
Here are the links and statements of the form equivalence classes referenced above:
Howard-Rubin Number | Statement |
---|---|
428: | \(\exists F\) B\((F)\): There is a field \(F\) such that every vector space over \(F\) has a basis. \ac{Bleicher} \cite{1964}, \ac{Rubin, H.\/Rubin, J \cite{1985, p.119, B}. |
0: | \(0 = 0\). |
Comment: