کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
5778152 | 1633429 | 2017 | 37 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Unifying the model theory of first-order and second-order arithmetic via WKL0â
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
موضوعات مرتبط
مهندسی و علوم پایه
ریاضیات
منطق ریاضی
پیش نمایش صفحه اول مقاله
چکیده انگلیسی
We develop machinery to make the Arithmetized Completeness Theorem more effective in the study of many models of IÎ0+BΣ1+exp, including all countable ones, by passing on to the conservative extension WKL0â of IÎ0+BΣ1+exp. Our detailed study of the model theory of WKL0â leads to the simplification and improvement of many results in the model theory of Peano arithmetic and its fragments pertaining to the construction of various types of end extensions and initial segments.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Annals of Pure and Applied Logic - Volume 168, Issue 6, June 2017, Pages 1247-1283
Journal: Annals of Pure and Applied Logic - Volume 168, Issue 6, June 2017, Pages 1247-1283
نویسندگان
Ali Enayat, Tin Lok Wong,