Switch to: References

Add citations

You must login to add citations.
  1. On free MV algerbras and problem of Tarski.Antonio Di Nola, Giacomo Lenzi & Gaetano Vitale - 2016 - Mathematical Logic Quarterly 62 (3):232-240.
    In this paper we prove that the first order theories of the free MV algebras with finitely many generators are different from each other. This answers to the MV algebra analogue of a well-known problem of Tarski for groups.
    Download  
     
    Export citation  
     
    Bookmark  
  • Erratum to “Free abelian lattice-ordered groups” [Ann. Pure Appl. Logic 134 (2–3) (2005) 265–283].A. M. W. Glass, Angus Macintyre & Françoise Point - 2016 - Annals of Pure and Applied Logic 167 (4):431-433.
    Download  
     
    Export citation  
     
    Bookmark