کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
10118918 1633564 2005 17 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
The minimal e-degree problem in fragments of Peano arithmetic
کلمات کلیدی
موضوعات مرتبط
مهندسی و علوم پایه ریاضیات منطق ریاضی
پیش نمایش صفحه اول مقاله
The minimal e-degree problem in fragments of Peano arithmetic
چکیده انگلیسی
We study the minimal enumeration degree (e-degree) problem in models of fragments of Peano arithmetic (PA) and prove the following results: in any model M of Σ2 induction, there is a minimal enumeration degree if and only if M is a nonstandard model. Furthermore, any cut in such a model has minimal e-degree. By contrast, this phenomenon fails in the absence of Σ2 induction. In fact, whether every Σ2 cut has minimal e-degree is independent of the Σ2 bounding principle.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Annals of Pure and Applied Logic - Volume 131, Issues 1–3, January 2005, Pages 159-175
نویسندگان
, , , ,