کد مقاله کد نشریه سال انتشار مقاله انگلیسی ترجمه فارسی نسخه تمام متن
4661583 1344845 2016 16 صفحه PDF ندارد دانلود رایگان
عنوان انگلیسی مقاله
Abelian p-groups and the Halting problem
ترجمه فارسی عنوان
گروه های P آبلی و مسئله توقف
کلمات کلیدی
گروه آبلی؛ مقوله محاسبه
03D45; 03C57; 20K99; 20K10Abelian groups; Computable categoricity
موضوعات مرتبط
مهندسی و علوم پایه ریاضیات منطق ریاضی
چکیده انگلیسی

We investigate which effectively presented abelian p  -groups are isomorphic relative to the halting problem. The standard approach to this and similar questions uses the notion of Δ20-categoricity (to be defined). We partially reduce the description of Δ20-categorical p-groups of Ulm type 1 to the analogous problem for equivalence structures. Using this reduction, we solve a problem left open in [5]. For the sake of the reduction mentioned above, we introduce a new notion of effective Δ20-categoricity that lies strictly in-between plain Δ20-categoricity and relative Δ20-categoricity (to be defined). We then reduce the problem of classifying effective Δ20-categoricity to a question stated in terms of Σ20-sets. Among other results, we show that for c.e. Turing degrees bounding such sets is equal to being complete.

ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Annals of Pure and Applied Logic - Volume 167, Issue 11, November 2016, Pages 1123–1138
نویسندگان
, , ,