Switch to: References

Add citations

You must login to add citations.
  1. Decidable theories of non-projectable l -groups of continuous functions.Brian Wynne - 2007 - Annals of Pure and Applied Logic 146 (1):21-39.
    We study the class of l-groups of the form C 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.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Model-completions for Abelian lattice-ordered groups with finitely many disjoint elements.Philip Scowcroft - 2019 - Annals of Pure and Applied Logic 170 (6):673-698.
    Download  
     
    Export citation  
     
    Bookmark