Quantifier Elimination and Other Model-Theoretic Properties of BL-Algebras
Quantifier Elimination and Other Model-Theoretic Properties of BL-Algebras
复制标题
BL 代数的量词消除和其他模型理论性质
DOI：
--
复制
发表时间：
2011
期刊：
影响因子：
--
通讯作者：
F. Montagna
中科院分区：
文献类型：
--
作者：
Tommaso Cortonesi;Enrico Marchioni;F. Montagna
本文提出了一种模型论方法来研究BL-链类的一阶理论。除其他事实外，我们提出了几类BL-代数，产生的BL-代数的一阶理论的量词消除的整个品种。还研究了模型完整性和决策问题。然后我们研究具有（或不具有）合并性质或联合嵌入性质的BL-代数类，并将上述性质与超齐次模型的存在性联系起来。© 2011由圣母大学。
This work presents a model-theoretic approach to the study of firstorder theories of classes of BL-chains. Among other facts, we present several classes of BL-algebras, generating the whole variety of BL-algebras whose firstorder theory has quantifier elimination. Model-completeness and decision problems are also investigated. Then we investigate classes of BL-algebras having (or not having) the amalgamation property or the joint embedding property and we relate the above properties to the existence of ultrahomogeneous models. © 2011 by University of Notre Dame.