کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
4661683 | 1633453 | 2015 | 25 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Galois stratification and ACFA
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
موضوعات مرتبط
مهندسی و علوم پایه
ریاضیات
منطق ریاضی
پیش نمایش صفحه اول مقاله
چکیده انگلیسی
We prove a direct image theorem stating that the direct image of a Galois formula by a morphism of difference schemes is equivalent to a Galois formula modulo the theory ACFA of existentially closed difference fields. As a consequence, we obtain an effective quantifier elimination procedure and a precise algebraic-geometric description of definable sets over existentially closed difference fields in terms of twisted Galois formulae associated with finite Galois difference ring/scheme covers.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Annals of Pure and Applied Logic - Volume 166, Issue 5, May 2015, Pages 639-663
Journal: Annals of Pure and Applied Logic - Volume 166, Issue 5, May 2015, Pages 639-663
نویسندگان
Ivan TomaÅ¡iÄ,