کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
5778122 1633426 2017 8 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Nullifying randomness and genericity using symmetric difference
ترجمه فارسی عنوان
تصادفی بودن و عمومی بودن با استفاده از تفاوت متقارن
موضوعات مرتبط
مهندسی و علوم پایه ریاضیات منطق ریاضی
چکیده انگلیسی
For a class C of sets, let us say that a set A is C stabilising if A△X∈C for every X∈C. We prove that the Martin-Löf stabilising sets are exactly the K-trivial sets, as are the weakly 2-random stabilising sets. We also show that the 1-generic stabilising sets are exactly the computable sets.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Annals of Pure and Applied Logic - Volume 168, Issue 9, September 2017, Pages 1692-1699
نویسندگان
, ,