کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
8904299 1633418 2018 13 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Density of the cototal enumeration degrees
ترجمه فارسی عنوان
تراکم شمارش کالتال
ترجمه چکیده
ما ثابت می کنیم که درجه شمارش کلوتل دقیقا درجه شمارش مجموعه ها با تقریب خوب است، همانطور که توسط لاچلان و شور [17] معرفی شده است. تقریب های خوب به عنوان یک ابزار برای اثبات نتایج چگالی در درجه های شمارش معادلات استفاده شده است و در واقع ما ثابت می کنیم که درجه های شمارش کالتال متراکم است.
موضوعات مرتبط
مهندسی و علوم پایه ریاضیات منطق ریاضی
چکیده انگلیسی
We prove that the cototal enumeration degrees are exactly the enumeration degrees of sets with good approximations, as introduced by Lachlan and Shore [17]. Good approximations have been used as a tool to prove density results in the enumerations degrees, and indeed, we prove that the cototal enumerations degrees are dense.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Annals of Pure and Applied Logic - Volume 169, Issue 5, May 2018, Pages 450-462
نویسندگان
, ,