scientific article; zbMATH DE number 798167

zbMATH Open0844.20039MaRDI QIDQ4848740FDOQ4848740

Authors: Jorge Almeida 

Publication date: 19 September 1995

Title of this publication is not available (Why is that?)

Recommendations

• scientific article; zbMATH DE number 53371
• ON A CLASS OF SEMIGROUP PSEUDOVARIETIES WITHOUT FINITE PSEUDOIDENTITY BASIS
• scientific article; zbMATH DE number 4008680
• Some algorithmic problems for pseudovarieties
• Some key problems on finite semigroups

zbMATH Keywords

formal languagesfree algebrasfinite semigroupsidentitiesmonoidsmonoid presentationsmembership problempseudovarietiesBirkhoff varietiesvarieties of finite semigroupspseudoidentityfinite pseudoidentity basislist of research problemstopological algebra of implicit operations

Mathematics Subject Classification ID

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)

Cited In (only showing first 100 items - show all)

• Representations of relatively free profinite semigroups, irreducibility, and order primitivity
• A combinatorial property of ideals in free profinite monoids.
• Tribute: The influence of Imre Simon's work in the theory of automata, languages and semigroups
• Locally \(E\)-solid epigroups
• A Note on Decidable Separability by Piecewise Testable Languages
• A Munn tree type representation for the elements of the bifree locally inverse semigroup
• Bilateral locally testable languages.
• Every decidable pseudovariety of abelian groups is completely tame
• On formations of monoids
• On a class of completely join prime \(J\)-trivial semigroups with unique involution
• On a locality-like property of the pseudovariety J
• The \(\omega\)-inequality problem for concatenation hierarchies of star-free languages
• A counterexample to a conjecture concerning concatenation hierarchies
• The word problem for omega-terms over the Trotter-Weil hierarchy
• About the power pseudovariety \(\mathbf{PCS}\)
• \(\mathsf E\)-local pseudovarieties.
• The finite basis problem in the pseudovariety joins of aperiodic semigroups with groups
• Free profinite \(\mathcal R\)-trivial, locally idempotent and locally commutative semigroups
• Expressive power of existential first-order sentences of Büchi's sequential calculus
• Cancellable elements of the lattice of monoid varieties
• The intersection problem for finite monoids
• Separability and efficiency under standard wreath product in terms of Cayley graphs.
• The \(\kappa\)-word problem over \(\mathsf{DRH}\)
• Limit varieties of \(J\)-trivial monoids
• Two weaker variants of congruence permutability for monoid varieties
• On join irreducible \(J\)-trivial semigroups
• Ehresmann semigroups whose categories are EI and their representation theory
• Formations of inverse semigroups
• Finite quasivarieties and self-referential conditions
• Projective indecomposable modules and quivers for monoid algebras
• On free spectra of finite monoids from the pseudovariety \(\mathsf{DA}\).
• The rank of variants of nilpotent pseudovarieties
• THE FINITE BASIS PROBLEM FOR INVOLUTION SEMIGROUPS OF TRIANGULAR MATRICES
• The monoid of \(2 \times 2\) triangular Boolean matrices under skew transposition is non-finitely based
• Complete κ-reducibility of pseudovarieties of the form DRH
• Circuit complexity of regular languages
• Complementation of Branching Automata for Scattered and Countable Series-Parallel Posets
• Tropical representations and identities of the stylic monoid
• Stone duality, topological algebra, and recognition.
• Locally countable pseudovarieties
• On the group of a rational maximal bifix code
• Identical inclusions of semilattices
• Low growth equational complexity
• Operations preserving regular languages
• The Wadge-Wagner hierarchy of ω-rational sets
• On semidirect and two-sided semidirect products of finite $\mathcal {J}$trivial monoids
• A sufficient condition under which a semigroup is nonfinitely based.
• A method for the construction of complete congruences on lattices of pseudovarieties
• Wreath product and infinite words
• Geometrically closed positive varieties of languages
• Maximal subgroups of the minimal ideal of a free profinite monoid are free.
• The expressive power of the shuffle product
• Join decompositions of pseudovarieties involving semigroups with commuting idempotents
• A sufficient condition for the non-finite basis property of semigroups.
• A Reiterman theorem for pseudovarieties of finite first-order structures
• Cayley's and Holland's theorems for idempotent semirings and their applications to residuated lattices
• Stone duality and the recognisable languages over an algebra
• The geometry of profinite graphs with applications to free groups and finite monoids
• Title not available (Why is that?)
• Join irreducible semigroups
• Representation theory of finite semigroups, semigroup radicals and formal language theory
• Axiomatizing the equational theory of regular tree languages
• On an algorithm to decide whether a free group is a free factor of another
• Profinite categories, implicit operations and pseudovarieties of categories
• Rees quotients of numerical semigroups.
• On the lattice of sub-pseudovarieties of DA.
• Tree algebras and varieties of tree languages
• Shuffle on positive varieties of languages
• Finite basis problem for semigroups of order six.
• Title not available (Why is that?)
• Title not available (Why is that?)
• An upper bound for the power pseudovariety \(\mathbf{PCS}\).
• Upper set monoids and length preserving morphisms
• The finite basis problem for infinite involution semigroups of triangular \(2 \times 2\) matrices
• The free idempotent generated locally inverse semigroup
• Monoid kernels and profinite topologies on the free Abelian group
• Semigroups of order-preserving mappings
• Schützenberger and Eilenberg theorems for words on linear orderings
• The monadic theory of morphic infinite words and generalizations
• Semigroups with apartness
• Logic over words on denumerable ordinals
• Dynamics of implicit operations and tameness of pseudovarieties of groups
• Algorithmic problems for finite groups and finite \(0\)-simple semigroups
• Power semigroups of finite groups and the INFB property.
• Definable orthogonality classes in accessible categories are small
• Global determinism of Clifford semigroups.
• Pointlike sets for varieties determined by groups
• On varieties generated by minimal complex semigroups.
• Title not available (Why is that?)
• On varieties of meet automata
• Free profinite locally idempotent and locally commutative semigroups
• Monoid varieties with extreme properties
• The lattice of varieties of monoids
• COMBINATORIAL REES–SUSHKEVICH VARIETIES THAT ARE CROSS, FINITELY GENERATED, OR SMALL
• Chain varieties of monoids
• Ultrafilters on words for a fragment of logic
• The word problem for \(\omega \)-terms over DA
• Polynomial closure and unambiguous product
• Undecidability of the identity problem for finite semigroups
• Newton's forward difference equation for functions from words to words

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)