{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,12]],"date-time":"2026-02-12T15:15:07Z","timestamp":1770909307014,"version":"3.50.1"},"publisher-location":"Boston, MA","reference-count":45,"publisher":"Birkh\u00e4user Boston","isbn-type":[{"value":"9781461271260","type":"print"},{"value":"9781461213888","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/978-1-4612-1388-8_1","type":"book-chapter","created":{"date-parts":[[2011,7,18]],"date-time":"2011-07-18T11:06:59Z","timestamp":1310987219000},"page":"1-23","source":"Crossref","is-referenced-by-count":14,"title":["Syntactic and Global Semigroup Theory: A Synthesis Approach"],"prefix":"10.1007","author":[{"given":"Jorge","family":"Almeida","sequence":"first","affiliation":[]},{"given":"Benjamin","family":"Steinberg","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"1_CR1","doi-asserted-by":"publisher","first-page":"179","DOI":"10.2307\/2275184","volume":"57","author":"D Albert","year":"1992","unstructured":"D. Albert, R. Baldinger, and J. Rhodes, The identity problem for finite semi-groups (the undecidability of), J. Symbolic Logic, 57 (1992), 179\u2013192.","journal-title":"J. Symbolic Logic"},{"key":"1_CR2","first-page":"205","volume":"69","author":"J Almeida","year":"1990","unstructured":"J. Almeida, Implicit operations on finite J-trivial semigroups and a conjecture of I. Simon, J. PureAppl. Algebra, 69 (1990), 205\u2013218.","journal-title":"J. Symbolic Logic"},{"key":"1_CR3","doi-asserted-by":"crossref","DOI":"10.1142\/2481","volume-title":"Finite Semigroups and Universal Algebra","author":"J Almeida","year":"1995","unstructured":"J. Almeida, Finite Semigroups and Universal Algebra, World Scientific, Sin-gapore, 1995 (English translation)."},{"key":"1_CR4","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1142\/S0218196799000163","volume":"9","author":"J Almeida","year":"1999","unstructured":"J. Almeida, Hyperdecidable pseudovarieties and the calculation of semidirect products, Internat. J. Algebra Comput., 9 (1999), 241\u2013261.","journal-title":"Internat. J. Algebra Comput."},{"key":"1_CR5","series-title":"Inter-nat.J.Algebra comput","volume-title":"On hyperdecidable pseudovarieties of simple semigroups","author":"J Almeida","year":"1998","unstructured":"J. Almeida, On hyperdecidable pseudovarieties of simple semigroups, Inter-\n                nat. J. Algebra Comput., 1998, to appear."},{"key":"1_CR6","first-page":"1","volume-title":"Semigroups and Appli-cations","author":"J Almeida","year":"1998","unstructured":"J. Almeida, On a problem of Brzozowski and Fich, in Semigroups and Appli-\n                cations, J. M. Howie and N. Ruskuc, eds., World Scientific, Singapore, 1998, 1\u201317."},{"key":"1_CR7","volume-title":"Globals of pseudovarieties of commutative semi-groups: The finite basis problem, decidability, and gaps, Technical Report CMUP","author":"J Almeida","year":"1999","unstructured":"J. Almeida and A. Azevedo, Globals of pseudovarieties of commutative semi-groups: The finite basis problem, decidability, and gaps, Technical Report CMUP 1999\u201310, University of Porto, Porto, Portugal, 1999."},{"key":"1_CR8","volume-title":"On finitely based pseudovarieties of the forms V * D and V * DnJ. PureAppl. Algebra","author":"J Almeida","year":"1998","unstructured":"J. Almeida, A. Azevedo, and L. Teixeira, On finitely based pseudovarieties of the forms V * D and V * Dn\n                J. PureAppl. Algebra,1998, to appear."},{"key":"1_CR9","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1142\/S0218196799000072","volume":"9","author":"J Almeida","year":"1999","unstructured":"J. Almeida, A. Azevedo, and M. Zeitoun, Pseudovariety joins involving,trivial semigroups and completely regular semigroups, Internat. J. Algebra Comput., 9 (1999), 99\u2013112.","journal-title":"Internat. J. Algebra Comput."},{"key":"1_CR10","volume-title":"On the equation V * G = EV, Technical Report CMUP","author":"J Almeida","year":"1998","unstructured":"J. Almeida and A. Escada, On the equation V * G = \u03b5V, Technical Report CMUP 98\u20136, University of Porto, Porto, Portugal, 1998."},{"key":"1_CR11","series-title":"Theoret.Comput.Sci.","volume-title":"SC-hyperdecidability of R","author":"J Almeida","year":"1998","unstructured":"J. Almeida and P. V. Silva, SC-hyperdecidability of R, Theoret. Comput. Sci., 1998, to appear."},{"key":"1_CR12","series-title":"Proc. London Math.Soc","volume-title":"Iterated semidirect products with applications to complexity","author":"J Almeida","year":"1998","unstructured":"J. Almeida and B. Steinberg, Iterated semidirect products with applications to complexity, Proc. London Math.\n                Soc., 1998, to appear."},{"key":"1_CR13","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1007\/978-94-011-0149-3_4","volume-title":"Formal Languages and Groups","author":"J Almeida","year":"1995","unstructured":"J. Almeida and P. Weil, Relatively free profinite monoids: An introduction and examples, in Semigroups, Formal Languages and Groups, vol. 466, J. B. Fountain, ed., Kluwer Academic Publishers, Dordrecht, The Netherlands, 1995, 73\u2013117."},{"key":"1_CR14","first-page":"1","volume":"39","author":"J Almeida","year":"1995","unstructured":"J. Almeida and P. Weil, Free profinite semigroups over semidirect products, Russian Math. (Iz. VUZ), 39 (1995), 1\u201327.","journal-title":"Russian Math.(Iz. VUZ)"},{"key":"1_CR15","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0022-4049(96)00083-7","volume":"123","author":"J Almeida","year":"1998","unstructured":"J. Almeida and P. Weil, Profinite categories and semidirect products, J. Pure AppL Alge-bra,123 (1998), 1\u201350.","journal-title":"J. Pure AppL Alge-bra"},{"key":"1_CR16","doi-asserted-by":"crossref","first-page":"457","DOI":"10.1051\/ita\/1997310504571","volume":"31","author":"J Almeida","year":"1997","unstructured":"J. Almeida and M. Zeitoun, The pseudovariety J is hyperdecidable, Theoret. Inform. Appl., 31 (1997), 457\u2013482.","journal-title":"Theoret. Inform. Appl."},{"key":"1_CR17","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1142\/S0218196791000079","volume":"1","author":"CJ Ash","year":"1991","unstructured":"C. J. Ash, Inevitable graphs: A proof of the type II conjecture and some related decision procedures, Internat. J. Algebra Comput., 1 (1991), 127\u2013146.","journal-title":"Internat. J. Algebra Comput."},{"key":"1_CR18","first-page":"127","volume":"32","author":"JC Birget","year":"1984","unstructured":"J. C. Birget and J. Rhodes, Almost finite expansions of arbitrary semigroups, J. PureAppl. Algebra, 32 (1984), 127\u2013146.","journal-title":"J. PureAppl. Algebra"},{"key":"1_CR19","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4613-8130-3","volume-title":"A Course in Universal Algebra","author":"S Burris","year":"1981","unstructured":"S. Burris and H. P. SankappanavarA Course in Universal Algebra, Springer-Verlag, New York, 1981."},{"key":"1_CR20","volume-title":"Teorema do tipo II e hiperdecidibilade de pseudovariedades de grupos, Ph.D. thesis, University of Porto, Porto, Portugal","author":"M Delgado","year":"1997","unstructured":"M. Delgado, Teorema do tipo II e hiperdecidibilade de pseudovariedades de grupos, Ph.D. thesis, University of Porto, Porto, Portugal, 1997."},{"key":"1_CR21","volume-title":"Automata, Languages and Machines","author":"S Eilenberg","year":"1976","unstructured":"S. Eilenberg, Automata, Languages and Machines, Vol. B, Academic Press, New York, 1976."},{"key":"1_CR22","doi-asserted-by":"publisher","first-page":"399","DOI":"10.1112\/jlms\/s2-1.1.399","volume":"1","author":"T Evans","year":"1969","unstructured":"T. Evans, Some connections between residual finiteness, finite embeddability and the word problem, J. London Math. Soc., 1 (1969), 399\u2013403.","journal-title":"J. London Math. Soc."},{"key":"1_CR23","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-07216-5","volume-title":"Field Arithmetic","author":"MD Fried","year":"1986","unstructured":"M. D. Fried and M. Jarden, Field Arithmetic, Springer-Verlag, Berlin, 1986."},{"key":"1_CR24","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1016\/0022-4049(88)90042-4","volume":"55","author":"K Henckell","year":"1988","unstructured":"K. Henckell, Pointlike sets: The finest aperiodic cover of a finite semigroup, J. PureAppl. Algebra, 55 (1988), 85\u2013126.","journal-title":"J. PureAppl. Algebra"},{"key":"1_CR25","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1016\/0022-4049(94)00055-N","volume":"101","author":"K Henckell","year":"1995","unstructured":"K. Henckell, Product expansions, J. PureAppl. Algebra, 101 (1995), 157\u2013170.","journal-title":"J. PureAppl. Algebra"},{"key":"1_CR26","doi-asserted-by":"publisher","first-page":"411","DOI":"10.1142\/S0218196791000298","volume":"1","author":"K Henckell","year":"1991","unstructured":"K. Henckell, S. Margolis, J.-E. Pin, and J. Rhodes, Ash\u2019s type II theorem, profinite topology and Malcev products, part I, Internat. J. Algebra Comput., 1 (1991), 411\u2013436.","journal-title":"Internat. J. Algebra Comput."},{"key":"1_CR27","doi-asserted-by":"publisher","first-page":"450","DOI":"10.1090\/S0002-9947-1965-0188316-1","volume":"116","author":"K Krohn","year":"1965","unstructured":"K. Krohn and J. Rhodes, Algebraic theory of machines I: Prime decomposition theorem for finite semigroups and machines, Trans. Amer. Math. Soc., 116 (1965), 450\u2013464.","journal-title":"Trans. Amer. Math. Soc."},{"key":"1_CR28","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1016\/0022-4049(95)00074-7","volume":"109","author":"PR Jones","year":"1995","unstructured":"P. R. Jones, Profinite categories, implicit operations, and pseudovarieties of categories, J. Pure Appl. Algebra, 109 (1995), 61\u201395.","journal-title":"J. Pure Appl. Algebra"},{"key":"1_CR29","volume-title":"Categories for the Working Mathematician","author":"S MacLane","year":"1971","unstructured":"S. MacLane, Categories for the Working Mathematician, Springer-Verlag, New York, 1971."},{"key":"1_CR30","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1142\/S021819679100002X","volume":"1","author":"J McCammond","year":"1991","unstructured":"J. McCammond, The solution to the word problem for the relatively free semigroups satisfying T\u00b0 =\n                T\n                \n                  a+b\n                 with a \u2265 6, Internat. J. Algebra Comput., 1 (1991), 1\u201332.","journal-title":"Internat. J. Algebra Comput."},{"key":"1_CR31","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4613-2215-3","volume-title":"Varieties of Formal Languages","author":"J-E Pin","year":"1986","unstructured":"J.-E. Pin, Varieties of Formal Languages, Plenum, New York, 1986."},{"key":"1_CR32","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BF02483902","volume":"14","author":"J Reiterman","year":"1982","unstructured":"J. Reiterman The Birkhoff theorem for finite algebrasAlgebra Universalis, 14 (1982), 1\u201310.","journal-title":"Algebra Universalis"},{"key":"1_CR33","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0021-8693(77)90265-4","volume":"49","author":"J Rhodes","year":"1977","unstructured":"J. Rhodes, Kernel systems: A global study of homomorphisms on finite semi-groups, J. Algebra, 49 (1977), 1\u201345.","journal-title":"J. Algebra"},{"key":"1_CR34","doi-asserted-by":"publisher","first-page":"455","DOI":"10.1142\/S0218196799000278","volume":"9","author":"J Rhodes","year":"1999","unstructured":"J. Rhodes, Undecidability, automata and pseudovarieties of finite semigroups, Internat. J. Algebra Comput., 9 (1999), 455\u2013473.","journal-title":"Internat. J. Algebra Comput."},{"key":"1_CR35","doi-asserted-by":"publisher","first-page":"475","DOI":"10.1142\/S021819679900028X","volume":"9","author":"B Steinberg","year":"1999","unstructured":"J. Rhodes and B. Steinberg, Pointlikes sets, hyperdecidability, and the identity problem for finite semigroups, Internat. J. Algebra Comput., 9 (1999), 475\u2013481.","journal-title":"Internat. J. Algebra Comput"},{"key":"1_CR36","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1112\/blms\/25.1.37","volume":"25","author":"L Ribes","year":"1993","unstructured":"L. Ribes and P. A. Zalesskii, On the profinite topology on a free group, Bull. London Math.\n                Soc., 25 (1993), 37\u201343.","journal-title":"Bull. London Math.Soc."},{"key":"1_CR37","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1142\/S021819679400004X","volume":"4","author":"L Ribes","year":"1994","unstructured":"L. Ribes and P. A. Zalesskii, The pro-p topology of a free group and algorithmic problems in semigroups, Internat. J. Algebra Comput., 4 (1994), 359\u2013374.","journal-title":"Internat. J. Algebra Comput."},{"key":"1_CR38","volume-title":"Canada","author":"I Simon","year":"1972","unstructured":"I. Simon, Hierarchies of events of dot-depth one, Ph.D. thesis, University of Waterloo, Waterloo, ON, Canada, 1972."},{"key":"1_CR39","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1142\/S0218196798000119","volume":"8","author":"B Steinberg","year":"1998","unstructured":"B. Steinberg, On pointlike sets and joins of pseudovarieties, Internat. J. Algebra Comput., 8 (1998), 203\u2013231.","journal-title":"Internat. J. Algebra Comput."},{"key":"1_CR40","series-title":"Semigroup Forum","volume-title":"On algorithmic problems for joins of pseudovarieties","author":"B Steinberg","year":"1998","unstructured":"B. Steinberg, On algorithmic problems for joins of pseudovarieties, Semigroup Forum, 1998, to appear."},{"key":"1_CR41","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1016\/S0022-4049(98)00126-1","volume":"142","author":"B Steinberg","year":"1999","unstructured":"B. Steinberg, Semidirect products of categories and applications, J. Pure and Applied Algebra, 142 (1999), 153\u2013182.","journal-title":"J. Pure and Applied Algebra"},{"key":"1_CR42","series-title":"Internat.J.Algebra Comput","volume-title":"Inevitable graphs and profinite topologies: Some solutions to al-gorithmic problems in monoid and automata theory stemming from group theory","author":"B Steinberg","year":"1998","unstructured":"B. Steinberg, Inevitable graphs and profinite topologies: Some solutions to al-gorithmic problems in monoid and automata theory stemming from group theory, Internat. J. Algebra Comput., 1998, to appear."},{"key":"1_CR43","series-title":"Semigroup Forum","volume-title":"A delay theorem for pointlikes","author":"B Steinberg","year":"1999","unstructured":"B. Steinberg, A delay theorem for pointlikes, Semigroup Forum, 1999, to appear."},{"key":"1_CR44","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1016\/0022-4049(87)90108-3","volume":"48","author":"B Tilson","year":"1987","unstructured":"B. Tilson, Categories as algebra: An essential ingredient in the theory of monoids, J. Pure Appl. Algebra, 48 (1987), 83\u2013198.","journal-title":"J. Pure Appl. Algebra"},{"key":"1_CR45","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1007\/BF02574083","volume":"52","author":"P Trotter","year":"1996","unstructured":"P. G. Trotter and M. V. Volkov, The finite basis problem in the pseudovariety joins of aperiodic semigroups with groups, Semigroup Forum, 52 (1996), 83\u201391.","journal-title":"Semigroup Forum"}],"container-title":["Algorithmic Problems in Groups and Semigroups"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4612-1388-8_1.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,30]],"date-time":"2021-04-30T21:08:43Z","timestamp":1619816923000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4612-1388-8_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9781461271260","9781461213888"],"references-count":45,"URL":"https:\/\/doi.org\/10.1007\/978-1-4612-1388-8_1","relation":{},"subject":[],"published":{"date-parts":[[2000]]}}}