کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
4661645 1633437 2016 38 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Turing meets Schanuel
ترجمه فارسی عنوان
تلاقی تورینگ با Schanuel
کلمات کلیدی
حدس Schanuel ؛ زمینه نمایی؛ مدل های محاسبه
موضوعات مرتبط
مهندسی و علوم پایه ریاضیات منطق ریاضی
پیش نمایش مقاله
تلاقی تورینگ با 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
نویسندگان
,