Switch to: References

Add citations

You must login to add citations.
  1. Boolean products of real closed valuation rings and fields.Jorge I. Guier - 2001 - Annals of Pure and Applied Logic 112 (2-3):119-150.
    We present some results concerning elimination of quantifiers and elementary equivalence for Boolean products of real closed valuation rings and fields. We also study rings of continuous functions and rings of definable functions over real closed valuation rings under this point of view.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • 2000 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium 2000.Carol Wood - 2001 - Bulletin of Symbolic Logic 7 (1):82-163.
    Download  
     
    Export citation  
     
    Bookmark  
  • 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  
  • (5 other versions)XI Latin American Symposium on Mathematical Logic.Carlos Augusto Di Prisco - 1999 - Bulletin of Symbolic Logic 5 (4):495-524.
    Download  
     
    Export citation  
     
    Bookmark