Quasivarieties with definable relative principal subcongruences

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

zbMATH Keywords

quasivarietydefinable relative principal subcongruencesfinite quasi-equational basisrelatively congruence-distributive quasivariety

Mathematics Subject Classification ID

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