| کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن | 
|---|---|---|---|---|
| 10118844 | 1633557 | 2005 | 19 صفحه PDF | دانلود رایگان | 
عنوان انگلیسی مقاله ISI
												On the limit existence principles in elementary arithmetic and Σn0-consequences of theories
												
											دانلود مقاله + سفارش ترجمه
													دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
																																												کلمات کلیدی
												
											موضوعات مرتبط
												
													مهندسی و علوم پایه
													ریاضیات
													 منطق ریاضی
												
											پیش نمایش صفحه اول مقاله
												 
												چکیده انگلیسی
												In the third part of the paper we give an ordinal classification of Σn0-consequences of the standard fragments of Peano arithmetic in terms of reflection principles. This is interesting in view of the general program of ordinal analysis of theories, which in the most standard cases classifies Π-classes of sentences (usually Π11 or Π20).
											ناشر
												Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Annals of Pure and Applied Logic - Volume 136, Issues 1â2, October 2005, Pages 56-74
											Journal: Annals of Pure and Applied Logic - Volume 136, Issues 1â2, October 2005, Pages 56-74
نویسندگان
												Lev D. Beklemishev, Albert Visser,