Article ID Journal Published Year Pages File Type
4662513 Annals of Pure and Applied Logic 2007 19 Pages PDF
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