کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
10118844 1633557 2005 19 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
On the limit existence principles in elementary arithmetic and Σn0-consequences of theories
موضوعات مرتبط
مهندسی و علوم پایه ریاضیات منطق ریاضی
پیش نمایش صفحه اول مقاله
On the limit existence principles in elementary arithmetic and Σn0-consequences of theories
چکیده انگلیسی
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
نویسندگان
, ,