{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,12]],"date-time":"2026-02-12T15:13:34Z","timestamp":1770909214212,"version":"3.50.1"},"reference-count":0,"publisher":"European Mathematical Society - EMS - Publishing House GmbH","issue":"4","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Port. Math."],"published-print":{"date-parts":[[2007,12,31]]},"abstract":"<jats:p>\n                    It is shown that the pseudovariety\n                    <jats:inline-formula>\n                      <jats:tex-math>\\mathsf R<\/jats:tex-math>\n                    <\/jats:inline-formula>\n                    of all finite\n                    <jats:inline-formula>\n                      <jats:tex-math>\\mathcal R<\/jats:tex-math>\n                    <\/jats:inline-formula>\n                    -trivial semigroups is completely reducible with respect to the canonical signature. Informally, if the variables in a finite system of equations with rational constraints may be evaluated by pseudowords so that each value belongs to the closure of the corresponding rational constraint and the system is verified in\n                    <jats:inline-formula>\n                      <jats:tex-math>\\mathsf R<\/jats:tex-math>\n                    <\/jats:inline-formula>\n                    , then there is some such evaluation which is \u201cregular\u201d, that is one in which, additionally, the pseudowords only involve multiplications and\n                    <jats:inline-formula>\n                      <jats:tex-math>\\omega<\/jats:tex-math>\n                    <\/jats:inline-formula>\n                    -powers.\n                  <\/jats:p>","DOI":"10.4171\/pm\/1792","type":"journal-article","created":{"date-parts":[[2009,12,22]],"date-time":"2009-12-22T19:14:17Z","timestamp":1261509257000},"page":"445-508","source":"Crossref","is-referenced-by-count":14,"title":["Complete reducibility of systems of equations with respect to R"],"prefix":"10.4171","volume":"64","author":[{"given":"Jorge","family":"Almeida","sequence":"first","affiliation":[{"name":"Faculdade de Ci\u00eancias, Universidade do Porto, Portugal"}]},{"given":"Jos\u00e9 Carlos","family":"Costa","sequence":"additional","affiliation":[{"name":"Universidade Do Minho, Braga, Portugal"}]},{"given":"Marc","family":"Zeitoun","sequence":"additional","affiliation":[{"name":"Universit\u00e9 de Bordeaux I, Talence, France"}]}],"member":"2673","container-title":["Portugaliae Mathematica"],"original-title":[],"link":[{"URL":"http:\/\/www.ems-ph.org\/fulltext\/10.4171\/PM\/1792","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,30]],"date-time":"2025-10-30T12:05:15Z","timestamp":1761825915000},"score":1,"resource":{"primary":{"URL":"https:\/\/ems.press\/doi\/10.4171\/pm\/1792"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,12,31]]},"references-count":0,"journal-issue":{"issue":"4"},"URL":"https:\/\/doi.org\/10.4171\/pm\/1792","relation":{},"ISSN":["0032-5155","1662-2758"],"issn-type":[{"value":"0032-5155","type":"print"},{"value":"1662-2758","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,12,31]]}}}