Form equivalence class Howard-Rubin Number: 1
Statement:
In every vector space over \({\Bbb Q}\), every generating set includes a basis.
Howard-Rubin number: 1 BU
Citations (articles):
Blass [1984a]
Existence of a basis implies the axiom of choice
Connections (notes):
Note [137]
We shall give a proof that [1 BU] (In every
vector space over \(\Bbb Q\), every generating set includes a basis.)
implies Form 1, AC.
References (books):
Back