کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
4662513 1633543 2007 19 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Decidable theories of non-projectable l-groups of continuous functions
موضوعات مرتبط
مهندسی و علوم پایه ریاضیات منطق ریاضی
پیش نمایش صفحه اول مقاله
Decidable theories of non-projectable l-groups of continuous functions
چکیده انگلیسی

We study the class of l-groups of the form C(X) with X an essential P-space. Many such l-groups are non-projectable and their elementary theories may often be reduced to that of an associated Boolean algebra with distinguished ideal. In this paper we establish the decidability of the theories of two classes of such l-groups via corresponding results for the associated structures.

ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Annals of Pure and Applied Logic - Volume 146, Issue 1, April 2007, Pages 21-39