کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
6875999 | 690159 | 2016 | 62 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
A synthetic axiomatization of Map Theory
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله
![عکس صفحه اول مقاله: A synthetic axiomatization of Map Theory A synthetic axiomatization of Map Theory](/preview/png/6875999.png)
چکیده انگلیسی
In the paper we define the notions of canonical and non-canonical κ- and κÏ-expansions and prove that if Ï is the smallest strongly inaccessible ordinal then canonical κÏ-expansions are models of MT (which proves the consistency). Furthermore, in Appendix A, we prove that canonical Ï-expansions are fully abstract models of the computational part of Map Theory.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Theoretical Computer Science - Volume 614, 8 February 2016, Pages 1-62
Journal: Theoretical Computer Science - Volume 614, 8 February 2016, Pages 1-62
نویسندگان
Chantal Berline, Klaus Grue,