| کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
|---|---|---|---|---|
| 10118841 | 1633557 | 2005 | 19 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Ideas in the epsilon substitution method for Î 10-FIX
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
موضوعات مرتبط
مهندسی و علوم پایه
ریاضیات
منطق ریاضی
پیش نمایش صفحه اول مقاله
چکیده انگلیسی
In this note we report recent progress on the subject, and expound basic ideas of the epsilon substitution method à la Ackermann for the theory Π10-FIX of non-monotonic Π10 inductive definitions.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Annals of Pure and Applied Logic - Volume 136, Issues 1â2, October 2005, Pages 3-21
Journal: Annals of Pure and Applied Logic - Volume 136, Issues 1â2, October 2005, Pages 3-21
نویسندگان
Toshiyasu Arai,