کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
8904264 | 1633413 | 2018 | 47 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
The Σ1-provability logic of HA
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
موضوعات مرتبط
مهندسی و علوم پایه
ریاضیات
منطق ریاضی
پیش نمایش صفحه اول مقاله
چکیده انگلیسی
In this paper we introduce a modal theory iHÏ which is sound and complete for arithmetical Σ1-interpretations in HA, in other words, we will show that iHÏ is the Σ1-provability logic of HA. Moreover we will show that iHÏ is decidable. As a by-product of these results, we show that HA+â¡â¥ has de Jongh property.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Annals of Pure and Applied Logic - Volume 169, Issue 10, October 2018, Pages 997-1043
Journal: Annals of Pure and Applied Logic - Volume 169, Issue 10, October 2018, Pages 997-1043
نویسندگان
Mohammad Ardeshir, Mojtaba Mojtahedi,