کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
4661779 | 1633462 | 2014 | 20 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Definability and decidability in infinite algebraic extensions
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
موضوعات مرتبط
مهندسی و علوم پایه
ریاضیات
منطق ریاضی
پیش نمایش صفحه اول مقاله
چکیده انگلیسی
We use a generalization of a construction by Ziegler to show that for any field F and any countable collection of countable subsets AiâF, iâIâZ>0 there exist infinitely many fields K of arbitrary greater than one transcendence degree over F and of infinite algebraic degree such that each Ai is first-order definable over K. We also use the construction to show that many infinitely axiomatizable theories of fields which are not compatible with the theory of algebraically closed fields are finitely hereditarily undecidable.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Annals of Pure and Applied Logic - Volume 165, Issues 7â8, JulyâAugust 2014, Pages 1243-1262
Journal: Annals of Pure and Applied Logic - Volume 165, Issues 7â8, JulyâAugust 2014, Pages 1243-1262
نویسندگان
Alexandra Shlapentokh, Carlos Videla,