{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,29]],"date-time":"2025-09-29T12:06:53Z","timestamp":1759147613380},"reference-count":28,"publisher":"World Scientific Pub Co Pte Lt","issue":"05","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Algebra Comput."],"published-print":{"date-parts":[[2012,8]]},"abstract":"<jats:p> Constructions that yield pseudorecursiveness in [I] (Int. J. Algebra Comput.6 (1996) 457\u2013510) are extended in this article. Finitely based varieties of semigroups with increasingly strict expansions by additional unary operation symbols or individual constants are shown to have the pseudorecursive property: the equational theory is undecidable, but the subsets obtained by bounding the number of distinct variables are all recursive. The most stringent case considered here is the single unary operation or distinguished element. New techniques of stratified reducibility and interpretation via rewriting rules are employed to show the property inherits along a chain of theories. Pure semigroup varieties that are both finitely based and pseudorecursive will be discussed in a later paper. <\/jats:p>","DOI":"10.1142\/s0218196712500427","type":"journal-article","created":{"date-parts":[[2012,7,4]],"date-time":"2012-07-04T17:31:00Z","timestamp":1341423060000},"page":"1250042","source":"Crossref","is-referenced-by-count":1,"title":["PSEUDORECURSIVE VARIETIES OF SEMIGROUPS \u2014 II"],"prefix":"10.1142","volume":"22","author":[{"given":"BENJAMIN","family":"WELLS","sequence":"first","affiliation":[{"name":"University of San Francisco, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"219","published-online":{"date-parts":[[2012,7,11]]},"reference":[{"key":"rf1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01197182"},{"key":"rf3","first-page":"1","volume":"11","author":"Crvenkovi\u0107 S.","journal-title":"Facta Universitatis (Ni\u0161), Series Math. Inform."},{"key":"rf4","first-page":"21","volume":"26","author":"Crvenkovi\u0107 S.","journal-title":"Novi Sad J. Math."},{"key":"rf5","doi-asserted-by":"publisher","DOI":"10.1142\/S0218196798000302"},{"key":"rf6","first-page":"109","volume":"28","author":"Crvenkovi\u0107 S.","journal-title":"Novi Sad J. Math."},{"key":"rf7","doi-asserted-by":"publisher","DOI":"10.1093\/qmath\/hai016"},{"key":"rf8","volume-title":"Computability and Unsolvability","author":"Davis M.","year":"1958"},{"key":"rf9","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9947-99-02339-9"},{"key":"rf10","first-page":"85","volume":"74","author":"Dolinka I.","journal-title":"Acta Sci. Math. (Szeged)"},{"key":"rf11","volume-title":"A View of Programming Languages","author":"Galler B. A.","year":"1970"},{"key":"rf12","doi-asserted-by":"publisher","DOI":"10.1145\/24714.24719"},{"key":"rf13","doi-asserted-by":"publisher","DOI":"10.1007\/s00012-002-8169-0"},{"key":"rf14","doi-asserted-by":"publisher","DOI":"10.1142\/S0218196795000227"},{"key":"rf15","volume-title":"Elements of the Theory of Computation","author":"Lewis H. R.","year":"1997"},{"key":"rf16","first-page":"3","volume":"69","author":"Mal\u2033tsev A. I.","journal-title":"Mat. Sbornik (Nov. Ser.)"},{"key":"rf18","volume-title":"Theory of Algorithms","author":"Markov A. A.","year":"1954"},{"key":"rf19","first-page":"225","volume":"66","author":"Mekler A.","journal-title":"Proc. London Math. Soc."},{"key":"rf20","volume-title":"Principles of Artificial Intelligence","author":"Nilsson N.","year":"1980"},{"key":"rf21","doi-asserted-by":"publisher","DOI":"10.2307\/2371809"},{"key":"rf22","volume-title":"Undecidable Theories","author":"Tarski A.","year":"1971"},{"key":"rf23","first-page":"287","volume":"2","author":"Wells B.","journal-title":"Abs. Amer. Math. Soc."},{"key":"rf24","first-page":"592","volume":"3","author":"Wells B.","journal-title":"Abs. Amer. Math. Soc."},{"key":"rf26","first-page":"371","volume":"1","author":"Wells B.","journal-title":"Bull. Symb. Logic"},{"key":"rf27","doi-asserted-by":"publisher","DOI":"10.1142\/S0218196796000271"},{"key":"rf28","doi-asserted-by":"publisher","DOI":"10.1016\/j.apal.2003.11.027"},{"key":"rf29","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2003.12.011"},{"key":"rf30","unstructured":"B.\u00a0Wells, Andrzej Mostowski and Foundational Studies, eds. A.\u00a0Ehrenfeucht, V. W.\u00a0Marek and M.\u00a0Srebrny (IOS Press, Amsterdam, 2008)\u00a0pp. 313\u2013323."},{"key":"rf31","first-page":"237","volume":"5","author":"Wells B.","journal-title":"Int. J. Unconventional Computing"}],"container-title":["International Journal of Algebra and Computation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S0218196712500427","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,6]],"date-time":"2019-08-06T11:18:53Z","timestamp":1565090333000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S0218196712500427"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,7,11]]},"references-count":28,"journal-issue":{"issue":"05","published-online":{"date-parts":[[2012,7,11]]},"published-print":{"date-parts":[[2012,8]]}},"alternative-id":["10.1142\/S0218196712500427"],"URL":"https:\/\/doi.org\/10.1142\/s0218196712500427","relation":{},"ISSN":["0218-1967","1793-6500"],"issn-type":[{"value":"0218-1967","type":"print"},{"value":"1793-6500","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,7,11]]}}}