کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
4661673 | 1633451 | 2015 | 33 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
WKL0 and induction principles in model theory
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
موضوعات مرتبط
مهندسی و علوم پایه
ریاضیات
منطق ریاضی
پیش نمایش صفحه اول مقاله
چکیده انگلیسی
We examine the reverse mathematics of aspects of basic classical and effective model theory, including: existence of homogeneous and saturated models, different type-amalgamation properties, the preorder of models under elementary embeddability, and existence of indiscernibles. Most theorems are equivalent to RCA0, WKL0, or ACA0. Some, however, exhibit peculiar strengths such as ¬WKL0â¨ACA0 and WKL0â¨IΣ20 over RCA0.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Annals of Pure and Applied Logic - Volume 166, Issues 7â8, JulyâAugust 2015, Pages 767-799
Journal: Annals of Pure and Applied Logic - Volume 166, Issues 7â8, JulyâAugust 2015, Pages 767-799
نویسندگان
David R. Belanger,