Definability of directly indecomposable congruence modular algebras

Studia Logica 57 (2-3):239 - 241 (1996)
  Copy   BIBTEX

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.

Categories

Keywords

Reprint years

DOI

10.1007/bf00370834

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,774

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Analytic ideals and cofinal types.Alain Louveau & Boban Velickovi - 1999 - Annals of Pure and Applied Logic 99 (1-3):171-195.
Decomposition of Congruence Modular Algebras into Atomic, Atomless Locally Uniform and Anti-Uniform Parts.Bogdan Staruch & Bożena Staruch - 2016 - Bulletin of the Section of Logic 45 (3/4).
Congruence Coherent Symmetric Extended de Morgan Algebras.T. S. Blyth & Jie Fang - 2007 - Studia Logica 87 (1):51-63.
MS-Algebras Whose e-Ideals are Kernel Ideals.Congwen Luo & Yanlu Zheng - 2019 - Studia Logica 107 (4):659-668.
Congruences and ideals on Boolean modules: a heterogeneous point of view.Sandra Marques Pinto & M. Teresa Oliveira-Martins - 2011 - Mathematical Logic Quarterly 57 (6):571-581.
The Varieties Defined by P-compatible Identities of Modular Ortholattices.Krystyna Mruczek-Nasieniewska - 2010 - Studia Logica 95 (1-2):21-35.
Birkhoff-like sheaf representation for varieties of lattice expansions.Hector Gramaglia & Diego Vaggione - 1996 - Studia Logica 56 (1-2):111 - 131.
The Varieties Defined by P - compatible Identities of Modular Ortholattices.Krystyna Mruczek-Nasieniewska - 2010 - Studia Logica 95 (1-2):21 - 35.
Quasivarieties and Congruence Permutability of Łukasiewicz Implication Algebras.M. Campercholi, D. Castaño & J. P. Díaz Varela - 2011 - Studia Logica 98 (1-2):267-283.
Expansions of Semi-Heyting Algebras I: Discriminator Varieties.H. P. Sankappanavar - 2011 - Studia Logica 98 (1-2):27-81.

Analytics

Added to PP
2009-01-28

Downloads
26 (#145,883)

6 months
4 (#1,635,958)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references