Finite Basis Theorems for Relatively Congruence-Distributive Quasivarieties
From MaRDI portal
Publication:3487457
Recommendations
- Finite bases for finitely generated, relatively congruence distributive quasivarities
- A finite basis theorem for quasivarieties
- Finite basis problems and results for quasivarieties
- Finitely generated congruence distributive quasivarieties of algebras
- A finite basis theorem for residually finite, congruence meet-semidistributive varieties
- Finite distributive lattices of quasivarieties
- Finite equational bases for subalgebra distributive varieties
- Congruence meet-semidistributive locally finite varieties and a finite basis theorem
- Bases of quasiidentities of finite distributive p-algebras
Cites work
- A finite algebra A with SP(A) not elementary
- A finite basis theorem for quasivarieties
- Algebraic semantics for quasi-classical modal logics
- Algebras Whose Congruence Lattices are Distributive.
- Algebras with a Scheme of Operators
- Brouwerian Semilattices
- Concerning axiomatizability of the quasivariety generated by a finite Heyting or topological Boolean algebra
- Congruence distributive quasivarieties whose finitely subdirectly irreducible members form a universal class
- Data type specification, parameterization and the power of specification techniques
- Equality-Test and If-Then-Else Algebras: Axiomatization and Specification
- Finite equational bases for congruence modular varieties
- Finite equational bases for finite algebras in a congruence-distributive equational class
- Finitely generated congruence distributive quasivarieties of algebras
- Heterogeneous algebras
- scientific article; zbMATH DE number 3809626 (Why is no real title available?)
- scientific article; zbMATH DE number 3911679 (Why is no real title available?)
- scientific article; zbMATH DE number 3970817 (Why is no real title available?)
- scientific article; zbMATH DE number 4023359 (Why is no real title available?)
- scientific article; zbMATH DE number 4037157 (Why is no real title available?)
- scientific article; zbMATH DE number 4055579 (Why is no real title available?)
- scientific article; zbMATH DE number 3656159 (Why is no real title available?)
- scientific article; zbMATH DE number 3751028 (Why is no real title available?)
- scientific article; zbMATH DE number 3625386 (Why is no real title available?)
- scientific article; zbMATH DE number 3636002 (Why is no real title available?)
- scientific article; zbMATH DE number 3799720 (Why is no real title available?)
- Implicative Semi-Lattices
- Matrices, primitive satisfaction and finitely based logics
- Minimal, locally-finite varieties that are not finitely axiomatizable
- On the quasivarieties generated by finite semigroups
- Primitive Satisfaction and Equational Problems for Lattices and Other Algebras
- Subdirect unions in universal algebra
- VARIETIES OF FINITELY APPROXIMABLE GROUPS
Cited in
(47)- Quasivarieties with definable relative principal subcongruences
- Semiconic idempotent residuated structures
- Finite bases for finitely generated, relatively congruence distributive quasivarities
- A single quasi-identity for a quasivariety with the Fraser-Horn property
- Characterization of relatively distributed quasivarieties of algebras
- Quasivarieties of distributive p-algebras
- On finitely based groups and nonfinitely based quasivarieties
- Bjarni Jónsson's contributions in algebra
- The finite basis theorem for relatively normal lattices
- On an assertion of J. Rhodes and the finite basis and finite vertex rank problems for pseudovarieties.
- Anshakov-Rychkov algebras
- Relative congruence formulas and decompositions in quasivarieties
- Least \(V\)-quasivarieties of MV-algebras
- Finite basis problems and results for quasivarieties
- Finite axiomatizability of congruence rich varieties
- Finitely axiomatizable quasivarieties of graphs
- Gentzen-style axiomatizations in equational logic
- Quasi-identities of finite semigroups and symbolic dynamics
- Structure of lattices of varieties and lattices of quasivarieties: Similarity and difference. I
- Properties not retained by pointed enrichments of finite lattices
- Quasivarieties of algebras with definable principal congruences
- A quasi-Mal'cev condition with unexpected application.
- Triangular irreducibility of congruences in quasivarieties
- Finitely generated congruence distributive quasivarieties of algebras
- Quasiequational Theories of Flat Algebras
- The weak extension property and finite axiomatizability for quasivarieties
- Relation formulas for protoalgebraic equality free quasivarieties; Pałasińska's theorem revisited
- scientific article; zbMATH DE number 3922735 (Why is no real title available?)
- scientific article; zbMATH DE number 3943892 (Why is no real title available?)
- Mordell's finite basis theorem revisited
- Commutator Theory for Relatively Modular Quasivarieties
- A mathematical life
- The Equationally-Defined Commutator in Quasivarieties Generated by Two-Element Algebras
- Relatively congruence modular quasivarieties of modules
- scientific article; zbMATH DE number 807881 (Why is no real title available?)
- A finite basis theorem for residually finite, congruence meet-semidistributive varieties
- Baker-Pixley theorem for algebras in relatively congruence distributive quasivarieties
- Inconsistency lemmas in algebraic logic
- Quasi-identities of congruence-distributive quasivarieties of algebras
- The algebraic significance of weak excluded middle laws
- Universal algebraic methods for non-classical logics
- Abstract algebraic logic. An introductory chapter
- An answer to a question of D. Pigozzi
- Czelakowski's work on quasivarieties
- A gentle introduction to the Leibniz hierarchy
- Approximate distributive laws and finite equational bases for finite algebras in congruence-distributive varieties
- Semisimplicity and the discriminator in bounded BCK-algebras
This page was built for publication: Finite Basis Theorems for Relatively Congruence-Distributive Quasivarieties
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3487457)
