Studia Logica

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

Definability of directly indecomposable congruence modular algebras

  • Diego Vaggione
Article

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.

Key words

congruence modular algebras directly indecomposable algebras central elements 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  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