Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
4662513 | Annals of Pure and Applied Logic | 2007 | 19 Pages |
Abstract
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.
Related Topics
Physical Sciences and Engineering
Mathematics
Logic