کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
10118912 1633563 2005 12 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Dependence relations in computably rigid computable vector spaces
موضوعات مرتبط
مهندسی و علوم پایه ریاضیات منطق ریاضی
پیش نمایش صفحه اول مقاله
Dependence relations in computably rigid computable vector spaces
چکیده انگلیسی
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.)].
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Annals of Pure and Applied Logic - Volume 132, Issue 1, February 2005, Pages 97-108
نویسندگان
, , ,