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
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
Journal title :
Annals of Pure and Applied Logic