\(\mathcal{V}_{SI}\) first order implies \(\mathcal{V}_{DI}\) second order

DOI10.1007/S10474-016-0676-0zbMath1399.08003OpenAlexW2561825748MaRDI QIDQ524144

Mariana Badano, Diego J. Vaggione

Publication date: 25 April 2017

Published in: Acta Mathematica Hungarica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10474-016-0676-0

zbMATH Keywords

congruence modular varietydirectly indecomposable algebrafirst-order class

Mathematics Subject Classification ID

Subalgebras, congruence relations (08A30) Congruence modularity, congruence distributivity (08B10)

Cites Work

• Congruences and one element subalgebras
• Varieties of shells
• Modular varieties with the Fraser-Horn property

This page was built for publication: \(\mathcal{V}_{SI}\) first order implies \(\mathcal{V}_{DI}\) second order