Abstract
It is proved that the directly indecomposable algebras in a congruence modular equational class ν form a ∀∃∀ first-order class provided that ν fulfils some two natural assumptions.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
S. Burris and H. Sankappanavar, A Course in Universal Algebra, Springer-Verlag, New York, 1981.
J. Kollar, Congruences and one element subalgebras, Algebra Universalis 9 (1979), 266–267.
R. McKenzie, G. McNulty and W. Taylor, Algebras, Lattices, Varieties, Volume 1, The Wadsworth & Brooks/Cole Math. Series, Monterey, California (1987).
D. J. Vaggione, Varieties of shells, to appear in Algebra Universalis.
D. J. Vaggione, Locally Boolean spectra, Algebra Universalis 33 (1995) 319–354.
Author information
Authors and Affiliations
Additional information
Research supported by CONICOR and SECYT (UNC).
Rights and permissions
About this article
Cite this article
Vaggione, D. Definability of directly indecomposable congruence modular algebras. Stud Logica 57, 239–241 (1996). https://doi.org/10.1007/BF00370834
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF00370834