Quasivarieties of algebras with definable principal congruences

DOI10.1007/BF01980218zbMath0725.08005MaRDI QIDQ2277502

Anvar M. Nurakunov

Publication date: 1990

Published in: Algebra and Logic (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/187504

zbMATH Keywords

quasivarietysubdirect irreducibilityfinitely axiomatizabledefinable principal congruence

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Subalgebras, congruence relations (08A30) Quasivarieties (08C15) Subdirect products and subdirect irreducibility (08B26)

Related Items (6)

Identities and quasi-identities of pointed algebras ⋮ Relative congruence formulas and decompositions in quasivarieties ⋮ Universal algebraic methods for non-classical logics ⋮ Properties not retained by pointed enrichments of finite lattices ⋮ Fragments of R-mingle ⋮ Quasivarieties with definable relative principal subcongruences

Cites Work

• Unnamed Item
• Unnamed Item
• Varieties with equationally definable principal congruences
• A correction to Definable principal congruences in varieties of groups and rings
• Principal congruences in N-permutable varieties
• The number of subdirectly irreducible algebras in a variety
• Para primal varieties: A study of finite axiomatizability and definable principal congruences in locally finite varieties
• On the lattice of quasivarieties of Sugihara algebras
• Finite Basis Theorems for Relatively Congruence-Distributive Quasivarieties
• On Baker's Finite Basis Theorem for Congruence Distributive Varieties

This page was built for publication: Quasivarieties of algebras with definable principal congruences