کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
10118868 1633559 2005 19 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Free abelian lattice-ordered groups
موضوعات مرتبط
مهندسی و علوم پایه ریاضیات منطق ریاضی
پیش نمایش صفحه اول مقاله
Free abelian lattice-ordered groups
چکیده انگلیسی
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
نویسندگان
, , ,