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