Title of article :
Dependence relations in computably rigid computable vector spaces
Author/Authors :
Dimitrov، نويسنده , , Rumen D. and Harizanov، نويسنده , , Valentina S. and Morozov، نويسنده , , Andrei S.، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2005
Pages :
12
From page :
97
To page :
108
Abstract :
We construct a computable vector space with the trivial computable automorphism group, but with the dependence relations as complicated as possible, measured by their Turing degrees. As a corollary, we answer a question asked by A.S. Morozov in [Rigid constructive modules, Algebra and Logic, 28 (5) (1989) 570–583 (in Russian); (1990) 379–387 (English transl.)].
Journal title :
Annals of Pure and Applied Logic
Serial Year :
2005
Journal title :
Annals of Pure and Applied Logic
Record number :
1444154
Link To Document :
بازگشت