Form equivalence class Howard-Rubin Number: 1
Statement:
In every vector space over the two element field, every generating set contains a basis.
Howard-Rubin number: 1 BJ
Citations (articles):
Keremedis [1996a]
Bases for vector spaces over the two element field and the axiom of choice
Connections (notes):
References (books):
Back