کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
4662188 1633520 2009 11 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Effective categoricity of Abelian p-groups
موضوعات مرتبط
مهندسی و علوم پایه ریاضیات منطق ریاضی
پیش نمایش صفحه اول مقاله
Effective categoricity of Abelian p-groups
چکیده انگلیسی

We investigate effective categoricity of computable Abelian p-groups A. We prove that all computably categorical Abelian p-groups are relatively computably categorical, that is, have computably enumerable Scott families of existential formulas. We investigate which computable Abelian p-groups are categorical and relatively categorical.

ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Annals of Pure and Applied Logic - Volume 159, Issues 1–2, May 2009, Pages 187-197