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.
    No categories
    Direct download (3 more)  
    Export citation  
  • Erratum to “Free Abelian Lattice-Ordered Groups” [Ann. Pure Appl. Logic 134 265–283].A. M. W. Glass, Angus Macintyre & Françoise Point - 2016 - Annals of Pure and Applied Logic 167 (4):431-433.