Congruence distributive quasivarieties whose finitely subdirectly irreducible members form a universal class

DOI10.1007/BF01190258zbMath0695.08016MaRDI QIDQ909692

Janusz Czelakowski, Wiesław Dziobiak

Publication date: 1990

Published in: Algebra Universalis (Search for Journal in Brave)

zbMATH Keywords

subdirectly irreducible algebrasfinite axiomatizabilitycongruence distributive quasivarietyequationally definable principal congruence meets

Mathematics Subject Classification ID

Subalgebras, congruence relations (08A30) Congruence modularity, congruence distributivity (08B10) Quasivarieties (08C15)

Related Items (38)

Bjarni Jónsson's contributions in algebra ⋮ Every minimal dual discriminator variety is minimal as a quasivariety ⋮ Structural completeness in relevance logics ⋮ Locally Boolean spectra ⋮ Semantical conditions for the definability of functions and relations ⋮ Birkhoff-like sheaf representation for varieties of lattice expansions ⋮ The parameterized local deduction theorem for quasivarieties of algebras and its application ⋮ Adding truth-constants to logics of continuous t-norms: axiomatization and completeness results ⋮ The Equationally-Defined Commutator in Quasivarieties Generated by Two-Element Algebras ⋮ Relative congruence formulas and decompositions in quasivarieties ⋮ Universal algebraic methods for non-classical logics ⋮ Semilinear De Morgan monoids and epimorphisms ⋮ Structural and universal completeness in algebra and logic ⋮ Transfer theorems for finitely subdirectly irreducible algebras ⋮ Density revisited ⋮ Semilinear idempotent distributive \(\ell\)-monoids ⋮ Hereditarily structurally complete intermediate logics: Citkin's theorem via duality ⋮ Baker–Pixley theorem for algebras in relatively congruence distributive quasivarieties ⋮ Properties not retained by pointed enrichments of finite lattices ⋮ Triangular irreducibility of congruences in quasivarieties ⋮ Epimorphisms in varieties of subidempotent residuated structures ⋮ Finite bases for finitely generated, relatively congruence distributive quasivarities ⋮ Inconsistency lemmas in algebraic logic ⋮ A single quasi-identity for a quasivariety with the Fraser-Horn property ⋮ DOMINIONS AND PRIMITIVE POSITIVE FUNCTIONS ⋮ Quasivarieties of distributive \(p\)-algebras ⋮ Implicit definition of the quaternary discriminator ⋮ Fragments of R-mingle ⋮ Finite basis problems and results for quasivarieties ⋮ Commutator Theory for Relatively Modular Quasivarieties ⋮ Finite Basis Theorems for Relatively Congruence-Distributive Quasivarieties ⋮ A Generalization of Maksimova’s Criterion for the Disjunction Property ⋮ Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies ⋮ Algebraic functions ⋮ VARIETIES OF POSITIVE MODAL ALGEBRAS AND STRUCTURAL COMPLETENESS ⋮ Structural completeness in many-valued logics with rational constants ⋮ Idempotent residuated structures: Some category equivalences and their applications ⋮ Natural examples of quasivarieties with EDPM

Cites Work

• Finite lattices having no independent basis of quasiidentities
• Filter distributive logics
• Concerning axiomatizability of the quasivariety generated by a finite Heyting or topological Boolean algebra
• Matrices, primitive satisfaction and finitely based logics
• Minimal, locally-finite varieties that are not finitely axiomatizable
• Uniform congruence schemes
• Varieties with equationally definable principal congruences
• Finite equational bases for finite algebras in a congruence-distributive equational class
• Finitely generated congruence distributive quasivarieties of algebras
• On finitely based varieties of algebras
• Primitive Satisfaction and Equational Problems for Lattices and Other Algebras
• A Note on the Implicational Class Generated by a Class of Structures
• Algebras Whose Congruence Lattices are Distributive.
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Congruence distributive quasivarieties whose finitely subdirectly irreducible members form a universal class