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

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
نویسندگان
,