Form equivalence class Howard-Rubin Number: 67
Statement: \(\exists F\) of characteristic \(0\) such that AL21\((F)\):There is a field \(F\) of characteristic \(0\) such that every vector spaceover \(F\) has the property that for every subspace \(S\) of \(V\), there is asubspace \(S'\) of \(V\) such that \(S \cap S' = \{ 0 \}\) and \(S \cup S'\)generates \(V\) in other words such that \(V = S \oplus S'\). Bleicher [1964], Rubin, H.\/Rubin, J. [1985, pp. 122,123, theorems6.35 and 6.36].
Howard-Rubin number: 67 AE
Citations (articles):
Connections (notes):
References (books):
Back