Studia Logica

, Volume 57, Issue 2–3, pp 239–241 | Cite as

Definability of directly indecomposable congruence modular algebras

  • Diego Vaggione


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.

Key words

congruence modular algebras directly indecomposable algebras central elements 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    S. Burris and H. Sankappanavar, A Course in Universal Algebra, Springer-Verlag, New York, 1981.Google Scholar
  2. [2]
    J. Kollar, Congruences and one element subalgebras, Algebra Universalis 9 (1979), 266–267.Google Scholar
  3. [3]
    R. McKenzie, G. McNulty and W. Taylor, Algebras, Lattices, Varieties, Volume 1, The Wadsworth & Brooks/Cole Math. Series, Monterey, California (1987).Google Scholar
  4. [4]
    D. J. Vaggione, Varieties of shells, to appear in Algebra Universalis.Google Scholar
  5. [5]
    D. J. Vaggione, Locally Boolean spectra, Algebra Universalis 33 (1995) 319–354.Google Scholar

Copyright information

© Kluwer Academic Publishers 1996

Authors and Affiliations

  • Diego Vaggione
    • 1
  1. 1.Facultad de Matemática, Astronomía y Física (Fa.M.A.F.)Universidad Nacional de Córdoba - Ciudad UniversitariaCórdobaArgentina

Personalised recommendations