کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
4661653 | 1633450 | 2015 | 30 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
On Δ20-categoricity of equivalence relations
ترجمه فارسی عنوان
درباره قابلیت دسته بندی Δ20 روابط هم ارزی
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
ساختارهای هم ارز؛ ریاضیات محاسباتی؛ رده بندی؛ ایزومورفیسم
موضوعات مرتبط
مهندسی و علوم پایه
ریاضیات
منطق ریاضی
چکیده انگلیسی
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
Journal: Annals of Pure and Applied Logic - Volume 166, Issue 9, September 2015, Pages 851–880
نویسندگان
Rod Downey, Alexander G. Melnikov, Keng Meng Ng,