کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
5778152 1633429 2017 37 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Unifying the model theory of first-order and second-order arithmetic via WKL0⁎
موضوعات مرتبط
مهندسی و علوم پایه ریاضیات منطق ریاضی
پیش نمایش صفحه اول مقاله
Unifying the model theory of first-order and second-order arithmetic via WKL0⁎
چکیده انگلیسی
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
نویسندگان
, ,