کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
8904304 1633419 2018 21 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Recognizable sets and Woodin cardinals: computation beyond the constructible universe
ترجمه فارسی عنوان
مجموعه های شناخته شده و کاردینال وودین: محاسبه فراتر از جهان سازگار است
کلمات کلیدی
ترجمه چکیده
چندین نتیجه را در مورد مجموعه های شناخته شده و انواع آنها برای انواع ماشین های دیگر نشان می دهیم. به طور قابل توجهی، ما نتایج زیر را از کاردینال های بزرگ نشان می دهیم.
موضوعات مرتبط
مهندسی و علوم پایه ریاضیات منطق ریاضی
پیش نمایش مقاله
مجموعه های شناخته شده و کاردینال وودین: محاسبه فراتر از جهان سازگار است
چکیده انگلیسی
We prove several results about recognizable sets and their variants for other types of machines. Notably, we show the following results from large cardinals.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Annals of Pure and Applied Logic - Volume 169, Issue 4, April 2018, Pages 312-332
نویسندگان
, , ,