Finite basis problems and results for quasivarieties
type: Item
instance of: scholarly article
title: Finite basis problems and results for quasivarieties
zbMATH Open document ID: 1067.08007
author: M. Maróti
author: Ralph McKenzie
published in: Studia Logica
publication date: 2005-04-07T00:00:00Z
review text: The authors prove several deep results. For example, they extend D. Pigozzi's finite basis theorem and suggest that the proof can be fruitfully compared with related extensions in a paper by \textit{J. Czelakowski} and \textit{W. Dziobiak} [Algebra Univers. 27, 128--149 (1990; Zbl 0695.08016)] and \textit{W. Dziobiak}'s constructive proof of the extension of D. Pigozzi's result [Algebra Univers. 28, 303--323 (1991; Zbl 0741.08009)]. Further, they extend \textit{R. Willard}'s finite basis theorem [J. Symb. Log. 65, 187--200 (2000; Zbl 0973.08004)].
reviewed by: Albert A. Mullin
Mathematics Subject Classification ID: 08C15
Mathematics Subject Classification ID: 08A30
Mathematics Subject Classification ID: 03C05
zbMATH DE Number: 2153447
zbMATH Keywords: quasivarieties
zbMATH Keywords: finite axiomatizability
zbMATH Keywords: pseudo-complemented congruence lattices
zbMATH Keywords: Willard terms
MaRDI profile type: Publication
full work available at URL: s11225-005-3320-5
OpenAlex ID: W2047269898
cites work: Primitive Satisfaction and Equational Problems for Lattices and Other Algebras
cites work: Finite equational bases for finite algebras in a congruence-distributive equational class
cites work: Definable principal subcongruences.
cites work: An extension of Willard's finite basis theorem: Congruence meet-semidistributive varieties of finite critical depth
cites work: Q3855342
cites work: On quasi-identities of finite nilpotent algebras
cites work: Congruence distributive quasivarieties whose finitely subdirectly irreducible members form a universal class
cites work: Finitely generated congruence distributive quasivarieties of algebras
cites work: Finite bases for finitely generated, relatively congruence distributive quasivarities
cites work: The lattice of equational classes of idempotent semigroups
cites work: The structure of finite algebras
cites work: Commutator Theory for Relatively Modular Quasivarieties
cites work: Identities satisfied by a finite ring
cites work: On finitely based groups and nonfinitely based quasivarieties
cites work: Identities in Two-Valued Calculi
cites work: Quasi-identities of finite semigroups and symbolic dynamics
cites work: A new product of algebras and a type reduction theorem
cites work: Finite equational bases for congruence modular varieties
cites work: THE RESIDUAL BOUND OF A FINITE ALGEBRA IS NOT COMPUTABLE
cites work: TARSKI’S FINITE BASIS PROBLEM IS UNDECIDABLE
cites work: Identical relations in finite groups
cites work: Bases for equational theories of semi-groups
cites work: Finite Basis Theorems for Relatively Congruence-Distributive Quasivarieties
cites work: INHERENTLY NONFINITELY BASED FINITE SEMIGROUPS
cites work: Q5525340
cites work: Tarski’s finite basis problem via 𝐀(𝒯)
cites work: A finite basis theorem for residually finite, congruence meet-semidistributive varieties
cites work: Extending Baker's theorem
DOI: 10.1007/S11225-005-3320-5
Recommended article: A finite basis theorem for quasivarieties
Recommended article: Finite Basis Theorems for Relatively Congruence-Distributive Quasivarieties
Recommended article: On finite bases for varieties and pseudovarieties
Recommended article: Finite bases for finitely generated, relatively congruence distributive quasivarities
Recommended article: The finite basis problem for pseudovariety
Recommended article: Q5143994
Recommended article: The finite basis problem for the pseudovariety \(\mathcal{PO}\)
Recommended article: Q5701824
Recommended article: Finite equational bases for congruence modular varieties
description: scientific article; zbMATH DE number 2153447