کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
4662895 | 1345205 | 2015 | 23 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Equations for formally real meadows
ترجمه فارسی عنوان
معادلات برای حوضچه های رسمی واقعی
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
به طور رسمی علفزار واقعی، علفزار اعداد واقعی، اعداد مختلط، قضایای تکمیلی
موضوعات مرتبط
مهندسی و علوم پایه
ریاضیات
منطق ریاضی
چکیده انگلیسی
We consider the signatures Σm=(0,1,−,+,⋅,−1) of meadows and (Σm,s)(Σm,s) of signed meadows. We give two complete axiomatizations of the equational theories of the real numbers with respect to these signatures. In the first case, we extend the axiomatization of zero-totalized fields by a single axiom scheme expressing formal realness; the second axiomatization presupposes an ordering. We apply these completeness results in order to obtain complete axiomatizations of the complex numbers.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Journal of Applied Logic - Volume 13, Issue 2, Part B, June 2015, Pages 1–23
Journal: Journal of Applied Logic - Volume 13, Issue 2, Part B, June 2015, Pages 1–23
نویسندگان
Jan A. Bergstra, Inge Bethke, Alban Ponse,