On Vaught’s Conjecture and finitely valued MV algebras
From MaRDI portal
Publication:2888626
DOI10.1002/malq.201020091zbMath1248.03053OpenAlexW1981791581WikidataQ123281395 ScholiaQ123281395MaRDI QIDQ2888626
Antonio Di Nola, Giacomo Lenzi
Publication date: 1 June 2012
Published in: Mathematical Logic Quarterly (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.201020091
MV-algebras (06D35) Model theory of denumerable and separable structures (03C15) Categoricity and completeness of theories (03C35)
Cites Work
- Unnamed Item
- The structure of countable Boolean algebras
- A proof of Vaught's conjecture for \(\omega\)-stable theories
- \(\aleph_0\)-categoricity for rings without nilpotent elements and for Boolean structures
- Extending Stone duality to multisets and locally finite MV-algebras.
- Algebraic foundations of many-valued reasoning
- One chain generated varieties of MV-algebras
- Super-Łukasiewicz propositional logics
- Decidability of Second-Order Theories and Automata on Infinite Trees
This page was built for publication: On Vaught’s Conjecture and finitely valued MV algebras