The Birkhoff theorem for finite algebras

DOI10.1007/BF02483902zbMath0484.08007OpenAlexW2005100072MaRDI QIDQ1163585

Publication date: 1982

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

Full work available at URL: https://doi.org/10.1007/bf02483902

zbMATH Keywords

implicit operations finite algebras pseudovariety Birkhoff variety theorem

Mathematics Subject Classification ID

Quasivarieties (08C15) Relational systems, laws of composition (08A02) Axiomatic model classes (08C10)

Related Items (only showing first 100 items - show all)

Reducibility of Joins Involving Some Locally Trivial Pseudovarieties ⋮ Strongly locally testable semigroups with commuting idempotents and related languages ⋮ The pseudovariety generated by completely $0$-simple semigroups ⋮ Sheaves of implicit operations in weak varieties of partial algebras ⋮ Congruence semimodular varieties. II: Regular varieties ⋮ Pointlike sets and separation: a personal perspective ⋮ Shuffle on positive varieties of languages ⋮ Recognisable Languages over Monads ⋮ On Decidability of Intermediate Levels of Concatenation Hierarchies ⋮ The join of the pseudovarieties of idempotent semigroups and locally trivial semigroups ⋮ Some pseudovariety joins involving the pseudovariety of finite groups ⋮ Nonstandard characterization of pseudovarieties ⋮ Over testable languages ⋮ Polynomial closure and unambiguous product ⋮ Monoids respecting $n$-chains of intervals ⋮ On finite simple semigroups ⋮ On join irreducible $J$-trivial semigroups ⋮ Polynomial closure and unambiguous product ⋮ The finite basis problem in the pseudovariety joins of aperiodic semigroups with groups ⋮ On finite bases for varieties and pseudovarieties ⋮ Two algebraic approaches to variants of the concatenation product ⋮ An automata-theoretic approach to the word problem for $\omega$-terms over R ⋮ Pseudovarieties defining classes of sofic subshifts closed under taking shift equivalent subshifts. ⋮ The rank of variants of nilpotent pseudovarieties ⋮ Undecidability of the identity problem for finite semigroups ⋮ Profinite categories, implicit operations and pseudovarieties of categories ⋮ The algebra of implicit operations ⋮ Profinite categories and semidirect products ⋮ A Reiterman theorem for pseudovarieties of finite first-order structures ⋮ Three notes on distributive lattices ⋮ A note on the finite basis and finite rank properties for pseudovarieties of semigroups ⋮ Classes of Languages Generated by the Kleene Star of a Word ⋮ Unnamed Item ⋮ Uniform Birkhoff ⋮ Pseudovarieties of ordered completely regular semigroups ⋮ What makes a Stone topological algebra profinite ⋮ On the irreducibility of pseudovarieties of semigroups. ⋮ Locally countable pseudovarieties ⋮ On E-pseudovarieties of finite regular semigroups ⋮ Identities in upper triangular tropical matrix semigroups and the bicyclic monoid ⋮ Duality and Equational Theory of Regular Languages ⋮ Iterated periodicity over finite aperiodic semigroups ⋮ On Pseudovarieties of Forest Algebras ⋮ Unnamed Item ⋮ Generalized Eilenberg Theorem ⋮ Complete endomorphisms of the lattice of pseudovarieties of finite semigroups ⋮ An algebraic proof that pseudovarieties are defined by pseudoidentities ⋮ The $\mathbf G$-exponent of a pseudovariety of semigroups ⋮ Algebras for classifying regular tree languages and an application to frontier testability ⋮ The product of rational languages ⋮ Towards a pseudoequational proof theory ⋮ On iterated semidirect products of finite semilattices ⋮ On language varieties without Boolean operations ⋮ The dual equivalence of equations and coequations for automata ⋮ An algebraic characterization of frontier testable tree languages ⋮ Regular languages and Stone duality ⋮ The $\omega$-inequality problem for concatenation hierarchies of star-free languages ⋮ Theme and Variations on the Concatenation Product ⋮ Locally commutative power semigroups and counting factors of words ⋮ Dynamics of implicit operations and tameness of pseudovarieties of groups ⋮ $\mathsf E$-local pseudovarieties. ⋮ A unified syntactical approach to theorems of Putcha, Margolis, and Straubing on finite power semigroups ⋮ The finite basis problem for pseudovariety ⋮ Irreducibility of certain pseudovarieties¹ ⋮ Unnamed Item ⋮ Unnamed Item ⋮ A Robust Class of Regular Languages ⋮ EQUATIONAL COMPLEXITY OF THE FINITE ALGEBRA MEMBERSHIP PROBLEM ⋮ Implicit operations on finite ${\mathcal J}$-trivial semigroups and a conjecture of I. Simon ⋮ A counterexample to a conjecture concerning concatenation hierarchies ⋮ Classes of languages generated by the Kleene star of a word ⋮ A topological approach to non-uniform complexity ⋮ A topological shuttle between inequalities and pseudoinequalities ⋮ Profinite Monads, Profinite Equations, and Reiterman’s Theorem ⋮ Semidirect products of pseudovarieties from the universal algebraist's point of view ⋮ The join of the pseudovarieties of $\mathcal R$-trivial and $\mathcal L$-trivial monoids ⋮ Unnamed Item ⋮ On pseudovarieties, varieties of languages, filters of congruences, pseudoidentities and related topics ⋮ COMPLETE REDUCIBILITY OF THE PSEUDOVARIETY LS1 ⋮ REPRESENTATIONS OF THE FREE PROFINITE OBJECT OVER DA ⋮ Idempotent-generated semigroups and pseudovarieties ⋮ Varieties ⋮ Profinite topologies ⋮ PROFINITE IDENTITIES FOR FINITE SEMIGROUPS WHOSE SUBGROUPS BELONG TO A GIVEN PSEUDOVARIETY ⋮ Modal Predicates and Coequations ⋮ Free profinite $\mathcal R$-trivial, locally idempotent and locally commutative semigroups ⋮ Hyper-pseudoformulas and M-solid ordered pseudovarieties ⋮ Bases for pseudovarieties closed under bideterministic product ⋮ Generalised Existence Varieties of Regular Semigroups ⋮ Syntactic structures of regular languages ⋮ On semidirect and two-sided semidirect products of finite $\mathcal {J}$trivial monoids ⋮ Minimal non-permutative pseudovarieties of semigroups. III ⋮ Varieties of infinitary universal algebras ⋮ On the membership problem for pseudovarieties of commutative semigroups ⋮ Some quasi-ordered classes of finite commutative semigroups ⋮ PSEUDOVARIETY JOINS INVOLVING ${\mathscr J}$ -TRIVIAL SEMIGROUPS ⋮ HYPERDECIDABLE PSEUDOVARIETIES AND THE CALCULATION OF SEMIDIRECT PRODUCTS ⋮ UNDECIDABILITY, AUTOMATA, AND PSEUDOVARITIES OF FINITE SEMIGROUPS ⋮ UNIFORMITIES ON FREE SEMIGROUPS ⋮ UNIFORMITIES ON FREE SEMIGROUPS

Cites Work

This page was built for publication: The Birkhoff theorem for finite algebras