|کد مقاله||کد نشریه||سال انتشار||مقاله انگلیسی||ترجمه فارسی||نسخه تمام متن|
|4661583||1344845||2016||16 صفحه PDF||ندارد||دانلود کنید|
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 . 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.
Journal: Annals of Pure and Applied Logic - Volume 167, Issue 11, November 2016, Pages 1123–1138