کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
4661645 | 1633437 | 2016 | 38 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Turing meets Schanuel
ترجمه فارسی عنوان
تلاقی تورینگ با Schanuel
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
حدس Schanuel ؛ زمینه نمایی؛ مدل های محاسبه
موضوعات مرتبط
مهندسی و علوم پایه
ریاضیات
منطق ریاضی
چکیده انگلیسی
I show that all Zilber's countable strong exponential fields are computable exponential fields.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Annals of Pure and Applied Logic - Volume 167, Issue 10, October 2016, Pages 901–938
Journal: Annals of Pure and Applied Logic - Volume 167, Issue 10, October 2016, Pages 901–938
نویسندگان
Angus Macintyre,