| کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن | 
|---|---|---|---|---|
| 10118918 | 1633564 | 2005 | 17 صفحه PDF | دانلود رایگان | 
عنوان انگلیسی مقاله ISI
												The minimal e-degree problem in fragments of Peano arithmetic
												
											دانلود مقاله + سفارش ترجمه
													دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
																																												موضوعات مرتبط
												
													مهندسی و علوم پایه
													ریاضیات
													 منطق ریاضی
												
											پیش نمایش صفحه اول مقاله
												 
												چکیده انگلیسی
												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
											Journal: Annals of Pure and Applied Logic - Volume 131, Issues 1â3, January 2005, Pages 159-175
نویسندگان
												M.M. Arslanov, C.T. Chong, S.B. Cooper, Y. Yang,