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