کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
10118868 | 1633559 | 2005 | 19 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Free abelian lattice-ordered groups
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
موضوعات مرتبط
مهندسی و علوم پایه
ریاضیات
منطق ریاضی
پیش نمایش صفحه اول مقاله

چکیده انگلیسی
Let n be a positive integer and FAâ(n) be the free abelian lattice-ordered group on n generators. We prove that FAâ(m) and FAâ(n) do not satisfy the same first-order sentences in the language L={+,â,0,â§,â¨} if mâ n. We also show that Th(FAâ(n)) is decidable iff nâ{1,2}. Finally, we apply a similar analysis and get analogous results for the free finitely generated vector lattices.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Annals of Pure and Applied Logic - Volume 134, Issues 2â3, July 2005, Pages 265-283
Journal: Annals of Pure and Applied Logic - Volume 134, Issues 2â3, July 2005, Pages 265-283
نویسندگان
A.M.W. Glass, Angus Macintyre, Françoise Point,