کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
4661759 | 1633454 | 2015 | 55 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Notes on some second-order systems of iterated inductive definitions and Π11-comprehensions and relevant subsystems of set theory
ترجمه فارسی عنوان
یادداشت ها در مورد برخی از سیستم های مرتبه دوم از تعاریف القایی تکرار و درک Π11 و زیر سیستم های مرتبط نظریه مجموعه
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
موضوعات مرتبط
مهندسی و علوم پایه
ریاضیات
منطق ریاضی
چکیده انگلیسی
Pohlers's ordinal analysis in his monograph [12] contains some flaws and thereby ends up with incorrect proof-theoretic ordinals of several systems. The present paper determines their correct proof-theoretic ordinals and also supplements [12] with the ordinal analysis of some other relevant impredicative systems.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Annals of Pure and Applied Logic - Volume 166, Issue 4, April 2015, Pages 409–463
Journal: Annals of Pure and Applied Logic - Volume 166, Issue 4, April 2015, Pages 409–463
نویسندگان
Kentaro Fujimoto,