scientific article; zbMATH DE number 798167
From MaRDI portal
Publication:4848740
zbMATH Open0844.20039MaRDI QIDQ4848740FDOQ4848740
formal languagesfree algebrasfinite semigroupsidentitiesmonoidsmonoid presentationsmembership problempseudovarietiesBirkhoff varietiesvarieties of finite semigroupspseudoidentityfinite pseudoidentity basislist of research problemstopological algebra of implicit operations
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to general algebraic systems (08-01) Lattices of varieties (08B15) Research exposition (monographs, survey articles) pertaining to group theory (20-02) Free semigroups, generators and relations, word problems (20M05) Quasivarieties (08C15) Varieties and pseudovarieties of semigroups (20M07) Semigroups in automata theory, linguistics, etc. (20M35) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to group theory (20-01)
Recommendations
Cited in
(only showing first 100 items - show all)- Monoid varieties with extreme properties
- The lattice of varieties of monoids
- Characterizing CTL-like logics on finite trees.
- scientific article; zbMATH DE number 1944113 (Why is no real title available?)
- Directed nonabelian sandpile models on trees
- Equational theories of unstable involution semigroups
- Hereditarily finitely based monoids of extensive transformations.
- Logic and Bounded-Width Rational Languages of Posets over Countable Scattered Linear Orderings
- Semigroups of order-preserving mappings
- Definable orthogonality classes in accessible categories are small
- A solution to the word problem for free pseudosemilattices
- Axiomatizing the equational theory of regular tree languages
- Finite basis problem for involution monoids of unitriangular Boolean matrices
- Using filters to describe congruences and band congruences of semigroups.
- Dynamics of implicit operations and tameness of pseudovarieties of groups
- A Reiterman theorem for pseudovarieties of finite first-order structures
- scientific article; zbMATH DE number 53371 (Why is no real title available?)
- An upper bound for the power pseudovariety \(\mathbf{PCS}\).
- Semidirect products of pseudovarieties from the universal algebraist's point of view
- Inverse subsemigroups and classes of finite aperiodic semigroups.
- scientific article; zbMATH DE number 612882 (Why is no real title available?)
- Cayley's and Holland's theorems for idempotent semirings and their applications to residuated lattices
- Global determinism of Clifford semigroups.
- The pseudovariety $J$ is hyperdecidable
- Upper set monoids and length preserving morphisms
- Stone duality and the recognisable languages over an algebra
- The geometry of profinite graphs with applications to free groups and finite monoids
- On an algorithm to decide whether a free group is a free factor of another
- A conjecture on the concatenation product
- Finite semigroup varieties of the form V*D
- COMBINATORIAL REES–SUSHKEVICH VARIETIES THAT ARE CROSS, FINITELY GENERATED, OR SMALL
- Complete endomorphisms of the lattice of pseudovarieties of finite semigroups
- Finite state automata: a geometric approach
- The word problem for \(\omega \)-terms over DA
- Constructing divisions into power groups
- Finite basis problem for 2-testable monoids.
- Chain varieties of monoids
- The monadic theory of morphic infinite words and generalizations
- Equational descriptions of languages
- Semigroups with apartness
- Tree algebras and varieties of tree languages
- Join decompositions of pseudovarieties involving semigroups with commuting idempotents
- Algorithmic problems for finite groups and finite \(0\)-simple semigroups
- Shuffle on positive varieties of languages
- A sufficient condition for the non-finite basis property of semigroups.
- The algebra of adjacency patterns: Rees matrix semigroups with reversion
- Ultrafilters on words for a fragment of logic
- Power semigroups of finite groups and the INFB property.
- The finite basis problem for infinite involution semigroups of triangular \(2 \times 2\) matrices
- On FO 2 Quantifier Alternation over Words
- On the lattice of sub-pseudovarieties of DA.
- Join irreducible semigroups
- The free idempotent generated locally inverse semigroup
- A Robust Class of Regular Languages
- Idempotent-generated semigroups and pseudovarieties.
- Duality and Equational Theory of Regular Languages
- Representation theory of finite semigroups, semigroup radicals and formal language theory
- On varieties of meet automata
- scientific article; zbMATH DE number 7376042 (Why is no real title available?)
- Polynomial closure and unambiguous product
- Maximal subgroups of the minimal ideal of a free profinite monoid are free.
- Free profinite locally idempotent and locally commutative semigroups
- The quiver of an affine monoid
- The dual equivalence of equations and coequations for automata
- Krohn-Rhodes complexity of Brauer type semigroups.
- The pro-nilpotent group topology on a free group
- Matrix Mortality and the Černý-Pin Conjecture
- A non-finitely based involution semigroup of order five
- Undecidability of the identity problem for finite semigroups
- Logic over words on denumerable ordinals
- The expressive power of the shuffle product
- Newton's forward difference equation for functions from words to words
- Profinite categories, implicit operations and pseudovarieties of categories
- Rees quotients of numerical semigroups.
- scientific article; zbMATH DE number 2051829 (Why is no real title available?)
- Schützenberger and Eilenberg theorems for words on linear orderings
- SEMIDIRECT PRODUCTS OF ORDERED SEMIGROUPS
- Monoid kernels and profinite topologies on the free Abelian group
- Pointlike sets for varieties determined by groups
- On varieties generated by minimal complex semigroups.
- Finite basis problem for semigroups of order six.
- The Division Relation: Congruence Conditions and Axiomatisability
- Projective indecomposable modules and quivers for monoid algebras
- The word problem for omega-terms over the Trotter-Weil hierarchy
- The intersection problem for finite monoids
- Low growth equational complexity
- A Munn tree type representation for the elements of the bifree locally inverse semigroup
- Tribute: The influence of Imre Simon's work in the theory of automata, languages and semigroups
- Locally \(E\)-solid epigroups
- Wreath product and infinite words
- Ehresmann semigroups whose categories are EI and their representation theory
- The monoid of \(2 \times 2\) triangular Boolean matrices under skew transposition is non-finitely based
- Formations of inverse semigroups
- Every decidable pseudovariety of abelian groups is completely tame
- The Wadge-Wagner hierarchy of ω-rational sets
- Complete κ-reducibility of pseudovarieties of the form DRH
- Bilateral locally testable languages.
- Circuit complexity of regular languages
- Operations preserving regular languages
- Limit varieties of \(J\)-trivial monoids
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)
