کد مقاله کد نشریه سال انتشار مقاله انگلیسی ترجمه فارسی نسخه تمام متن
4661645 1344852 2016 38 صفحه PDF ندارد دانلود رایگان
عنوان انگلیسی مقاله
Turing meets Schanuel ☆
ترجمه فارسی عنوان
تلاقی تورینگ با Schanuel
کلمات کلیدی
حدس Schanuel ؛ زمینه نمایی؛ مدل های محاسبه
03C60; 11U09; 03D45Schanuel Conjecture; Exponential fields; Computable models
موضوعات مرتبط
مهندسی و علوم پایه ریاضیات منطق ریاضی
چکیده انگلیسی

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
نویسندگان
,