Article ID Journal Published Year Pages File Type
4588497 Journal of Algebra 2007 7 Pages PDF
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