当前位置: X-MOL 学术Soft Comput. › 论文详情
Our official English website, www.x-mol.net, welcomes your feedback! (Note: you will need to create a separate account there.)
A characterization of pseudofinite MV-algebras
Soft Computing ( IF 3.1 ) Pub Date : 2020-04-09 , DOI: 10.1007/s00500-020-04910-y
Eslam Farsimadan , Giacomo Lenzi , Paolo Rizzo , Arsham Borumand Saeid

We consider pseudofinite MV-algebras. As a main result, we show that an infinite MV-algebra is pseudofinite if and only if it is definably well founded, improving a result of a previous paper. Moreover, we show that the theory of pseudofinite MV-algebras has a partial form of elimination of quantifiers. Further, we show that the class of pseudofinite MV-chains and the class of pseudofinite MV-algebras are not finitely axiomatizable, we give some collapsing results for pseudofinite MV-algebras, we consider relative subalgebras of pseudofinite MV-algebras, and we study ideals of pseudofinite MV-algebras.



中文翻译:

伪有限MV代数的刻画

我们考虑伪有限MV代数。作为一个主要的结果,我们证明了无限的MV-代数是伪伪的,当且仅当它具有确定的良好基础时,才改进了前一篇论文的结果。此外,我们表明伪有限MV代数理论具有消除量词的部分形式。此外,我们证明了伪有限MV链的类别和伪有限MV代数的类别不是可公理的,我们给出了伪有限MV代数的一些崩溃结果,我们考虑了伪有限MV代数的相对子代数,并研究了理想伪有限MV代数。

更新日期:2020-04-09
down
wechat
bug