کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
4661802 1633469 2013 14 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Goodstein sequences for prominent ordinals up to the ordinal of Π11−CA0
ترجمه فارسی عنوان
توالی Goodstein برای ترتیبی های برجسته تا ترتیبی Π11-CA0
کلمات کلیدی
توالی Goodstein؛ اثبات نظریه ترتیبی؛ عدم تایید پذیری
موضوعات مرتبط
مهندسی و علوم پایه ریاضیات منطق ریاضی
چکیده انگلیسی

We introduce strong Goodstein principles which are true but unprovable in strong impredicative theories like IDnIDn.

ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Annals of Pure and Applied Logic - Volume 164, Issue 12, December 2013, Pages 1493–1506
نویسندگان
, ,