کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
435470 689909 2016 16 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Reducibilities among equivalence relations induced by recursively enumerable structures
ترجمه فارسی عنوان
کاهش روابط همجوشی ناشی از ساختارهای قابل بازگشت مجدد
کلمات کلیدی
کلاسهای هم ارز مجددی مجزا، ساختار جبری، کاهش دادن، درجه، واقعی بودن
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
چکیده انگلیسی

In this paper we investigate the dependence of recursively enumerable structures on the equality relation which is fixed to a specific r.e. equivalence relation. We compare r.e. equivalence relations on the natural numbers with respect to the amount of structures they permit to represent from a given class of structures such as algebras, permutations and linear orders. In particular, we show that for various types of structures represented, there are minimal and maximal elements.

ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Theoretical Computer Science - Volume 612, 25 January 2016, Pages 137–152
نویسندگان
, , ,