Decidable theories of non-projectable -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.