scientific article; zbMATH DE number 798167
From MaRDI portal
Publication:4848740
Birkhoff varietiesfinite pseudoidentity basisfinite semigroupsformal languagesfree algebrasidentitieslist of research problemsmembership problemmonoid presentationsmonoidspseudoidentitypseudovarietiestopological algebra of implicit operationsvarieties of finite semigroups
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to general algebraic systems (08-01) Lattices of varieties (08B15) Quasivarieties (08C15) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to group theory (20-01) Research exposition (monographs, survey articles) pertaining to group theory (20-02) Free semigroups, generators and relations, word problems (20M05) Varieties and pseudovarieties of semigroups (20M07) Semigroups in automata theory, linguistics, etc. (20M35)
Recommendations
Cited in
(only showing first 100 items - show all)- Separability and efficiency under standard wreath product in terms of Cayley graphs.
- Hereditarily finitely based monoids of extensive transformations.
- Semidirect products of pseudovarieties from the universal algebraist's point of view
- Free profinite R-trivial, locally idempotent and locally commutative semigroups
- Algorithmic problems for finite groups and finite \(0\)-simple semigroups
- Polynomial closure and unambiguous product
- A method for the construction of complete congruences on lattices of pseudovarieties
- A solution to the word problem for free pseudosemilattices
- Wreath product and infinite words
- Join decompositions of pseudovarieties involving semigroups with commuting idempotents
- Logic over words on denumerable ordinals
- The word problem for omega-terms over the Trotter-Weil hierarchy
- The \(\kappa\)-word problem over \(\mathsf{DRH}\)
- Tribute: The influence of Imre Simon's work in the theory of automata, languages and semigroups
- Locally \(E\)-solid epigroups
- On a locality-like property of the pseudovariety J
- The \(\omega\)-inequality problem for concatenation hierarchies of star-free languages
- Equational theories of unstable involution semigroups
- E-local pseudovarieties.
- Finite quasivarieties and self-referential conditions
- Expressive power of existential first-order sentences of Büchi's sequential calculus
- The monadic theory of morphic infinite words and generalizations
- Bilateral locally testable languages.
- Shuffle on positive varieties of languages
- The finite basis problem in the pseudovariety joins of aperiodic semigroups with groups
- Profinite categories, implicit operations and pseudovarieties of categories
- A Reiterman theorem for pseudovarieties of finite first-order structures
- On free spectra of finite monoids from the pseudovariety \(\mathsf{DA}\).
- Krohn-Rhodes complexity of Brauer type semigroups.
- Finite basis problem for involution monoids of unitriangular Boolean matrices
- Every decidable pseudovariety of abelian groups is completely tame
- Definable orthogonality classes in accessible categories are small
- Two weaker variants of congruence permutability for monoid varieties
- Limit varieties of \(J\)-trivial monoids
- Ehresmann semigroups whose categories are EI and their representation theory
- Geometrically closed positive varieties of languages
- The lattice of varieties of monoids
- About the power pseudovariety \(\mathbf{PCS}\)
- On join irreducible \(J\)-trivial semigroups
- Formations of inverse semigroups
- The rank of variants of nilpotent pseudovarieties
- On the group of a rational maximal bifix code
- Identical inclusions of semilattices
- A non-finitely based involution semigroup of order five
- On formations of monoids
- Cancellable elements of the lattice of monoid varieties
- Finite semigroup varieties of the form V*D
- Pro-aperiodic monoids via saturated models
- The monoid of \(2 \times 2\) triangular Boolean matrices under skew transposition is non-finitely based
- Directed nonabelian sandpile models on trees
- Reaching the minimum ideal in a finite semigroup
- The finite basis problem for infinite involution semigroups of triangular \(2 \times 2\) matrices
- Operations preserving regular languages
- Inverse subsemigroups and classes of finite aperiodic semigroups.
- A Munn tree type representation for the elements of the bifree locally inverse semigroup
- On a class of completely join prime \(J\)-trivial semigroups with unique involution
- Cayley's and Holland's theorems for idempotent semirings and their applications to residuated lattices
- Characterizing CTL-like logics on finite trees.
- On the pseudovariety generated by all finite monoids satisfying \(\mathcal R=\mathcal H\).
- Constructing divisions into power groups
- Characterization of the pseudovariety generated by finite monoids satisfying \(\mathcal R=\mathcal H\).
- Pointlike sets for varieties determined by groups
- Tropical representations and identities of the stylic monoid
- Locally countable pseudovarieties
- Finite state automata: a geometric approach
- Dynamics of implicit operations and tameness of pseudovarieties of groups
- A sufficient condition under which a semigroup is nonfinitely based.
- Complementation of Branching Automata for Scattered and Countable Series-Parallel Posets
- Global determinism of Clifford semigroups.
- Stone duality and the recognisable languages over an algebra
- Finite basis problem for semigroups of order six.
- A Note on Decidable Separability by Piecewise Testable Languages
- Complete κ-reducibility of pseudovarieties of the form DRH
- Theme and variations on the concatenation product
- Idempotent-generated semigroups and pseudovarieties.
- On semidirect and two-sided semidirect products of finite $\mathcal {J}$trivial monoids
- A conjecture on the concatenation product
- On FO 2 Quantifier Alternation over Words
- Newton's forward difference equation for functions from words to words
- The intersection problem for finite monoids
- On an algorithm to decide whether a free group is a free factor of another
- Duality and Equational Theory of Regular Languages
- Hierarchies of Piecewise Testable Languages
- Literal Varieties of Languages Induced by Homomorphisms onto Nilpotent Groups
- The algebra of adjacency patterns: Rees matrix semigroups with reversion
- A Robust Class of Regular Languages
- Logic and Bounded-Width Rational Languages of Posets over Countable Scattered Linear Orderings
- Representation theory of finite semigroups, semigroup radicals and formal language theory
- Matrix Mortality and the Černý-Pin Conjecture
- Rees quotients of numerical semigroups.
- scientific article; zbMATH DE number 53371 (Why is no real title available?)
- Undecidability of the identity problem for finite semigroups
- Schützenberger and Eilenberg theorems for words on linear orderings
- Strongly locally testable semigroups with commuting idempotents and related languages
- scientific article; zbMATH DE number 612882 (Why is no real title available?)
- An upper bound for the power pseudovariety \(\mathbf{PCS}\).
- Complete endomorphisms of the lattice of pseudovarieties of finite semigroups
- Upper set monoids and length preserving morphisms
- The pseudovariety J is hyperdecidable
- scientific article; zbMATH DE number 1944113 (Why is no real title available?)
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4848740)
