کد مقاله کد نشریه سال انتشار مقاله انگلیسی ترجمه فارسی نسخه تمام متن
4661645 1344852 2016 38 صفحه PDF سفارش دهید دانلود کنید
عنوان انگلیسی مقاله
Turing meets 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
نویسندگان
,