کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
6424814 | 1633483 | 2012 | 13 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
The bounded functional interpretation of bar induction
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
موضوعات مرتبط
مهندسی و علوم پایه
ریاضیات
منطق ریاضی
پیش نمایش صفحه اول مقاله

چکیده انگلیسی
Relying on the extension of the bounded functional interpretation to bar recursive functionals of finite type, we prove that the scheme of bar induction has a bounded functional interpretation via bar recursors. As a consequence, the axiom of dependent choices also has a bounded functional interpretation.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Annals of Pure and Applied Logic - Volume 163, Issue 9, September 2012, Pages 1183-1195
Journal: Annals of Pure and Applied Logic - Volume 163, Issue 9, September 2012, Pages 1183-1195
نویسندگان
PatrÃcia Engrácia,