کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
4661653 1633450 2015 30 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
On Δ20-categoricity of equivalence relations
ترجمه فارسی عنوان
درباره قابلیت دسته بندی Δ20 روابط هم ارزی
کلمات کلیدی
ساختارهای هم ارز؛ ریاضیات محاسباتی؛ رده بندی؛ ایزومورفیسم
موضوعات مرتبط
مهندسی و علوم پایه ریاضیات منطق ریاضی
چکیده انگلیسی

We investigate which computable equivalence structures are isomorphic relative to the Halting problem.

ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Annals of Pure and Applied Logic - Volume 166, Issue 9, September 2015, Pages 851–880
نویسندگان
, , ,