Title of article
Subspaces of computable vector spaces
Author/Authors
Rodney G. Downey، نويسنده , , Denis R. Hirschfeldt، نويسنده , , Asher M. Kach، نويسنده , , Steffen Lempp ، نويسنده , , Joseph R. Mileti، نويسنده , , Antonio Montalb?n، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2007
Pages
7
From page
888
To page
894
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 over , and that the existence of a finite-dimensional nontrivial proper subspace of such a vector space is equivalent to over .
Keywords
Computable vector space , subspace , Reverse mathematics
Journal title
Journal of Algebra
Serial Year
2007
Journal title
Journal of Algebra
Record number
698209
Link To Document