论文信息 - On the Decidability of Membership in the Global of a Monoid Pseudovariety - 字舞流文

On the Decidability of Membership in the Global of a Monoid Pseudovariety

It is proved that the global operator g : V ↦ gV does not preserve decidability of membership. More specifically, some of Kad'ourek's results on the locality of the pseudovariety DG in combination ...

[1] Howard Straubing,et al. FINITE SEMIGROUP VARIETIES OF THE FORM V,D , 1985 .

[2] John L. Rhodes,et al. Undecidability, Automata, and Pseudovarities of Finite Semigroups , 1999, Int. J. Algebra Comput..

[3] Bret Tilson,et al. Categories as algebra: An essential ingredient in the theory of monoids , 1987 .

[4] B. Steinberg,et al. On power groups and embedding theorems for relatively free profinite monoids , 2005, Mathematical Proceedings of the Cambridge Philosophical Society.

[5] John L. Rhodes,et al. Undecidability of the identity problem for finite semigroups , 1992, Journal of Symbolic Logic.

[6] Benjamin Steinberg,et al. A delay theorem for pointlikes , 2001 .

[7] Karl Auinger,et al. On the extension problem for partial permutations , 2003 .