Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
4588497 | Journal of Algebra | 2007 | 7 Pages |
Abstract
We show that the existence of a nontrivial proper subspace of a vector space of dimension greater than one (over an infinite field) is equivalent to WKL0 over RCA0, and that the existence of a finite-dimensional nontrivial proper subspace of such a vector space is equivalent to ACA0 over RCA0.
Related Topics
Physical Sciences and Engineering
Mathematics
Algebra and Number Theory