{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,31]],"date-time":"2025-12-31T00:00:41Z","timestamp":1767139241227,"version":"build-2238731810"},"reference-count":32,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2019,3,14]],"date-time":"2019-03-14T00:00:00Z","timestamp":1552521600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"name":"Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia","award":["UID\/MAT\/00144\/2013"],"award-info":[{"award-number":["UID\/MAT\/00144\/2013"]}]},{"DOI":"10.13039\/501100001871","name":"Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia","doi-asserted-by":"publisher","award":["SFRH\/BSAB\/142872\/2018"],"award-info":[{"award-number":["SFRH\/BSAB\/142872\/2018"]}],"id":[{"id":"10.13039\/501100001871","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Grantov\u00e1 Agentura C(esk\u00e9 Republiky","award":["GAP202\/12\/G061"],"award-info":[{"award-number":["GAP202\/12\/G061"]}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Results Math"],"published-print":{"date-parts":[[2019,6]]},"DOI":"10.1007\/s00025-019-0998-7","type":"journal-article","created":{"date-parts":[[2019,3,14]],"date-time":"2019-03-14T09:10:01Z","timestamp":1552554601000},"update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Pseudovarieties of Ordered Completely Regular Semigroups"],"prefix":"10.1007","volume":"74","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-3829-2382","authenticated-orcid":false,"given":"Jorge","family":"Almeida","sequence":"first","affiliation":[]},{"given":"Ond\u0159ej","family":"Kl\u00edma","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2019,3,14]]},"reference":[{"key":"998_CR1","doi-asserted-by":"publisher","DOI":"10.1142\/2481","volume-title":"Finite Semigroups and Universal Algebra","author":"J Almeida","year":"1995","unstructured":"Almeida, J.: Finite Semigroups and Universal Algebra. World Scientific, Singapore (1995). English translation"},{"key":"998_CR2","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1142\/S021819679600009X","volume":"6","author":"J Almeida","year":"1996","unstructured":"Almeida, J.: A syntactical proof of locality of DA. Int. J. Algebra Comput. 6, 165\u2013177 (1996)","journal-title":"Int. J. Algebra Comput."},{"key":"998_CR3","first-page":"1","volume-title":"Structural Theory of Automata, Semigroups and Universal Algebra","author":"J Almeida","year":"2005","unstructured":"Almeida, J.: Profinite semigroups and applications. In: Kudryavtsev, V.B., Rosenberg, I.G. (eds.) Structural Theory of Automata, Semigroups and Universal Algebra, pp. 1\u201345. Springer, New York (2005)"},{"key":"998_CR4","unstructured":"Almeida, J., Kl\u00edma, O.: Representations of relatively free profinite semigroups, irreducibility, and order primitivity. Tech. rep., Univ. Masaryk and Porto (2015). \n                    ArXiv:1509.01389\n                    \n                  , submitted"},{"key":"998_CR5","doi-asserted-by":"publisher","first-page":"79","DOI":"10.4171\/PM\/2012","volume":"75","author":"J Almeida","year":"2018","unstructured":"Almeida, J., Kl\u00edma, O.: Towards a pseudoequational proof theory. Port. Math. 75, 79\u2013119 (2018)","journal-title":"Port. Math."},{"key":"998_CR6","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1017\/S0017089501010060","volume":"43","author":"J Almeida","year":"2001","unstructured":"Almeida, J., Trotter, P.G.: Hyperdecidability of pseudovarieties of orthogroups. Glasg. Math. J. 43, 67\u201383 (2001)","journal-title":"Glasg. Math. J."},{"key":"998_CR7","doi-asserted-by":"publisher","first-page":"433","DOI":"10.1142\/S0218196797000198","volume":"7","author":"K Auinger","year":"1997","unstructured":"Auinger, K., Hall, T.E., Reilly, N.R., Zhang, S.: Congruences on the lattice of pseudovarieties of finite semigroups. Int. J. Algebra Comput. 7, 433\u2013455 (1997)","journal-title":"Int. J. Algebra Comput."},{"key":"998_CR8","first-page":"255","volume":"9","author":"AP Birjukov","year":"1970","unstructured":"Birjukov, A.P.: Varieties of idempotent semigroups. Algebra Log. 9, 255\u2013273 (1970)","journal-title":"Algebra Log."},{"key":"998_CR9","doi-asserted-by":"publisher","first-page":"200","DOI":"10.1016\/S0022-0000(76)80030-X","volume":"13","author":"SL Bloom","year":"1976","unstructured":"Bloom, S.L.: Varieties of ordered algebras. J. Comput. Syst. Sci. 13, 200\u2013212 (1976)","journal-title":"J. Comput. Syst. Sci."},{"key":"998_CR10","doi-asserted-by":"publisher","first-page":"348","DOI":"10.1007\/BF03325434","volume":"58","author":"SJ Emery","year":"1999","unstructured":"Emery, S.J.: Varieties and pseudovarieties of ordered normal bands. Semigr. Forum 58, 348\u2013366 (1999)","journal-title":"Semigr. Forum"},{"key":"998_CR11","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1002\/mana.19710480118","volume":"48","author":"C Fennemore","year":"1971","unstructured":"Fennemore, C.: All varieties of bands. I. Math. Nachr. 48, 237\u2013252 (1971)","journal-title":"Math. Nachr."},{"key":"998_CR12","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1002\/mana.19710480118","volume":"48","author":"C Fennemore","year":"1971","unstructured":"Fennemore, C.: All varieties of bands. II. Math. Nachr. 48, 253\u2013262 (1971)","journal-title":"Math. Nachr."},{"key":"998_CR13","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1016\/0021-8693(70)90073-6","volume":"15","author":"JA Gerhard","year":"1970","unstructured":"Gerhard, J.A.: The lattice of equational classes of idempotent semigroups. J. Algebra 15, 195\u2013224 (1970)","journal-title":"J. Algebra"},{"key":"998_CR14","unstructured":"Howie, J.M.: Fundamentals of semigroup theory. London Mathematical Society Monographs. New Series, vol. 12. The Clarendon Press, Oxford University Press, New York (1995)"},{"key":"998_CR15","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1215\/S0012-7094-57-02425-0","volume":"24","author":"RJ Koch","year":"1957","unstructured":"Koch, R.J., Wallace, A.D.: Stability in semigroups. Duke Math. J. 24, 193\u2013195 (1957)","journal-title":"Duke Math. J."},{"issue":"88","key":"998_CR16","doi-asserted-by":"publisher","first-page":"128","DOI":"10.2307\/1970558","volume":"2","author":"K Krohn","year":"1968","unstructured":"Krohn, K., Rhodes, J.: Complexity of finite semigroups. Ann. Math. 2(88), 128\u2013160 (1968)","journal-title":"Ann. Math."},{"key":"998_CR17","doi-asserted-by":"crossref","unstructured":"Kufleitner, M., Weil, P.: On \n                    \n                      \n                    \n                    $${\\bf FO}^2$$\n                    \n                      \n                        \n                          \n                            FO\n                          \n                          2\n                        \n                      \n                    \n                   quantifier alternation over words. In: Mathematical Foundations of Computer Science 2009. Lecture Notes in Computer Science, vol. 5734, pp. 513\u2013524. Springer, Berlin (2009)","DOI":"10.1007\/978-3-642-03816-7_44"},{"key":"998_CR18","doi-asserted-by":"publisher","first-page":"475","DOI":"10.1007\/s00233-014-9630-z","volume":"90","author":"M Ku\u0159il","year":"2015","unstructured":"Ku\u0159il, M.: On varieties of ordered semigroups. Semigr. Forum 90, 475\u2013490 (2015)","journal-title":"Semigr. Forum"},{"key":"998_CR19","doi-asserted-by":"publisher","first-page":"533","DOI":"10.1007\/BF01225473","volume":"33","author":"VA Molchanov","year":"1995","unstructured":"Molchanov, V.A.: Nonstandard characterization of pseudovarieties. Algebra Univers. 33, 533\u2013547 (1995)","journal-title":"Algebra Univers."},{"key":"998_CR20","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BF02573403","volume":"42","author":"F Pastijn","year":"1991","unstructured":"Pastijn, F.: Pseudovarieties of completely regular semigroups. Semigr. Forum 42, 1\u201346 (1991)","journal-title":"Semigr. Forum"},{"key":"998_CR21","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1007\/BF02573130","volume":"37","author":"FJ Pastijn","year":"1988","unstructured":"Pastijn, F.J., Trotter, P.G.: Residual finiteness in completely regular semigroup varieties. Semigr. Forum 37, 127\u2013147 (1988)","journal-title":"Semigr. Forum"},{"key":"998_CR22","unstructured":"Petrich, M., Reilly, N.: Completely regular semigroups. Canadian Mathematical Society Series of Monographs and Advanced Texts, vol. 23. Wiley-Interscience, New York (1999)"},{"key":"998_CR23","first-page":"80","volume":"39","author":"JE Pin","year":"1995","unstructured":"Pin, J.E.: A variety theorem without complementation. Russ. Math. (Iz. VUZ) 39, 80\u201390 (1995)","journal-title":"Russ. Math. (Iz. VUZ)"},{"key":"998_CR24","doi-asserted-by":"publisher","first-page":"577","DOI":"10.1007\/BF01243597","volume":"35","author":"JE Pin","year":"1996","unstructured":"Pin, J.E., Weil, P.: A Reiterman theorem for pseudovarieties of finite first-order structures. Algebra Univers. 35, 577\u2013595 (1996)","journal-title":"Algebra Univers."},{"key":"998_CR25","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1007\/BF02575527","volume":"32","author":"L Pol\u00e1k","year":"1985","unstructured":"Pol\u00e1k, L.: On varieties of completely regular semigroups I. Semigr. Forum 32, 97\u2013123 (1985)","journal-title":"Semigr. Forum"},{"key":"998_CR26","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1007\/BF02575021","volume":"36","author":"L Pol\u00e1k","year":"1987","unstructured":"Pol\u00e1k, L.: On varieties of completely regular semigroups II. Semigr. Forum 36, 253\u2013284 (1987)","journal-title":"Semigr. Forum"},{"key":"998_CR27","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BF02573119","volume":"37","author":"L Pol\u00e1k","year":"1988","unstructured":"Pol\u00e1k, L.: On varieties of completely regular semigroups III. Semigr. Forum 37, 1\u201330 (1988)","journal-title":"Semigr. Forum"},{"key":"998_CR28","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1017\/S0004972700033888","volume":"55","author":"NR Reilly","year":"1997","unstructured":"Reilly, N.R., Zhang, S.: Complete endomorphisms of the lattice of pseudovarieties of finite semigroups. Bull. Aust. Math. Soc. 55, 207\u2013218 (1997)","journal-title":"Bull. Aust. Math. Soc."},{"key":"998_CR29","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BF02483902","volume":"14","author":"J Reiterman","year":"1982","unstructured":"Reiterman, J.: The Birkhoff theorem for finite algebras. Algebra Univers. 14, 1\u201310 (1982)","journal-title":"Algebra Univers."},{"key":"998_CR30","volume-title":"The $$q$$ q -Theory","author":"J Rhodes","year":"2009","unstructured":"Rhodes, J., Steinberg, B.: The \n                    \n                      \n                    \n                    $$q$$\n                    \n                      \n                        q\n                      \n                    \n                  -Theory of Finite Semigroups. Springer Monographs in Mathematics. Springer, Berlin (2009)"},{"key":"998_CR31","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1007\/BF02194921","volume":"13","author":"MP Sch\u00fctzenberger","year":"1976","unstructured":"Sch\u00fctzenberger, M.P.: Sur le produit de concat\u00e9nation non ambigu. Semigr. Forum 13, 47\u201375 (1976)","journal-title":"Semigr. Forum"},{"key":"998_CR32","doi-asserted-by":"publisher","first-page":"475","DOI":"10.1142\/9789812776884_0021","volume-title":"Semigroups, Algorithms, Automata and Languages","author":"P Tesson","year":"2002","unstructured":"Tesson, P., Th\u00e9rien, D.: Diamonds are forever: the variety DA. In: Gomes, G.M.S., Pin, J.E., Silva, P.V. (eds.) Semigroups, Algorithms, Automata and Languages, pp. 475\u2013499. World Scientific, Singapore (2002)"}],"updated-by":[{"DOI":"10.1007\/s00025-019-1014-y","type":"correction","label":"Correction","source":"publisher","updated":{"date-parts":[[2019,4,9]],"date-time":"2019-04-09T00:00:00Z","timestamp":1554768000000}}],"container-title":["Results in Mathematics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00025-019-0998-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00025-019-0998-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00025-019-0998-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,3,12]],"date-time":"2020-03-12T20:48:07Z","timestamp":1584046087000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00025-019-0998-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,3,14]]},"references-count":32,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2019,6]]}},"alternative-id":["998"],"URL":"https:\/\/doi.org\/10.1007\/s00025-019-0998-7","relation":{},"ISSN":["1422-6383","1420-9012"],"issn-type":[{"value":"1422-6383","type":"print"},{"value":"1420-9012","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019,3,14]]},"assertion":[{"value":"23 October 2018","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"27 February 2019","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"14 March 2019","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"9 April 2019","order":4,"name":"change_date","label":"Change Date","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"Correction","order":5,"name":"change_type","label":"Change Type","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"The original version of this article unfortunately contained a mistake.","order":6,"name":"change_details","label":"Change Details","group":{"name":"ArticleHistory","label":"Article History"}}],"article-number":"78"}}