Quasivarieties with definable relative principal subcongruences
From MaRDI portal
Publication:1037593
DOI10.1007/S11225-009-9188-ZzbMath1189.08004OpenAlexW2116090797MaRDI QIDQ1037593
Anvar M. Nurakunov, Michał M. Stronkowski
Publication date: 16 November 2009
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11225-009-9188-z
quasivarietydefinable relative principal subcongruencesfinite quasi-equational basisrelatively congruence-distributive quasivariety
Subalgebras, congruence relations (08A30) Congruence modularity, congruence distributivity (08B10) Quasivarieties (08C15)
Related Items (2)
Relation formulas for protoalgebraic equality free quasivarieties; Pałasińska's theorem revisited ⋮ PROFINITENESS IN FINITELY GENERATED VARIETIES IS UNDECIDABLE
Cites Work
- Unnamed Item
- Unnamed Item
- Quasiidentities of finite rings and lattices
- Finite bases for finitely generated, relatively congruence distributive quasivarities
- Characterization of relatively distributed quasivarieties of algebras
- Finite equational bases for finite algebras in a congruence-distributive equational class
- Para primal varieties: A study of finite axiomatizability and definable principal congruences in locally finite varieties
- Finite basis theorem for filter-distributive protoalgebraic deductive systems and strict universal Horn classes
- Finite basis problems and results for quasivarieties
- Definable principal subcongruences.
- The parameterized local deduction theorem for quasivarieties of algebras and its application
- Quasivarieties of algebras with definable principal congruences
- Finite Basis Theorems for Relatively Congruence-Distributive Quasivarieties
- The weak extension property and finite axiomatizability for quasivarieties
- On finitely based varieties of algebras
- A finite basis theorem for residually finite, congruence meet-semidistributive varieties
- Algebras Whose Congruence Lattices are Distributive.
- Quasi-identities of congruence-distributive quasivarieties of algebras
This page was built for publication: Quasivarieties with definable relative principal subcongruences
