Results for 'free MV algebra msc (2010) 03B50'

Order:
  1.  23
    On Vaught’s Conjecture and finitely valued MV algebras.Antonio Di Nola & Giacomo Lenzi - 2012 - Mathematical Logic Quarterly 58 (3):139-152.
    We show that the complete first order theory of an MV algebra has equation image countable models unless the MV algebra is finitely valued. So, Vaught's Conjecture holds for all MV algebras except, possibly, for finitely valued ones. Additionally, we show that the complete theories of finitely valued MV algebras are equation image and that all ω-categorical complete theories of MV algebras are finitely axiomatizable and decidable. As a final result we prove that the free algebra (...)
    Direct download  
     
    Export citation  
     
    Bookmark