nu(SI) first order implies nu(DI) first order

作者：Badano M; Vaggione D^*

来源：Acta Mathematica Hungarica, 2017, 151(1): 47-49.

DOI：10.1007/s10474-016-0676-0

• Congruence modular variety
• directly indecomposable algebra
• first order class

We prove that if is a modular variety such that the subdirectly irreducible algebras form a first order class in which there are no trivial subalgebras, then the class of directly indecomposable algebras of is also first order.

• 出版日期2017-2