Definability of directly indecomposable congruence modular algebras

DOI10.1007/BF00370834MaRDI QIDQ2563449zbMATH OpenOpenAlexFDO

Authors Diego J. Vaggione

Publication date 12 December 1996

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf00370834

zbMATH Keywords

central elementscongruence modular algebrascongruence modular equational classdirectly indecomposable algebrasfirst-order class

Mathematics Subject Classification ID

Equational classes, universal algebra in model theory (03C05) Congruence modularity, congruence distributivity (08B10)

Recommendations

• \(\mathcal{V}_{SI}\) first order implies \(\mathcal{V}_{DI}\) second order
• Finitely Decidable Congruence Modular Varieties
• Quasivarieties of algebras with definable principal congruences
• Existentially definable factor congruences
• scientific article; zbMATH DE number 437433

Cites work

• Congruences and one element subalgebras
• scientific article; zbMATH DE number 3987347 (Why is no real title available?)
• scientific article; zbMATH DE number 3751028 (Why is no real title available?)
• Locally Boolean spectra

Cited in

(3)

• Central elements in varieties with the Fraser-Horn property
• A Characterization of Finitely Decidable Congruence Modular Varieties
• \(\mathcal{V}_{SI}\) first order implies \(\mathcal{V}_{DI}\) second order

This page was built for publication: Definability of directly indecomposable congruence modular algebras

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2563449)