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 :
بازگشت