| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 10118912 | Annals of Pure and Applied Logic | 2005 | 12 Pages |
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.)].
Related Topics
Physical Sciences and Engineering
Mathematics
Logic
Authors
Rumen D. Dimitrov, Valentina S. Harizanov, Andrei S. Morozov,