{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T06:44:34Z","timestamp":1740120274761,"version":"3.37.3"},"reference-count":21,"publisher":"World Scientific Pub Co Pte Ltd","issue":"05","funder":[{"DOI":"10.13039\/501100004281","name":"Narodowe Centrum Nauki","doi-asserted-by":"crossref","award":["UMO-2018\/30\/M\/ST1\/00668"],"award-info":[{"award-number":["UMO-2018\/30\/M\/ST1\/00668"]}],"id":[{"id":"10.13039\/501100004281","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Algebra Comput."],"published-print":{"date-parts":[[2022,8]]},"abstract":"<jats:p> We prove a computable version of Hall\u2019s Harem theorem and apply it to computable versions of Tarski\u2019s alternative theorem. <\/jats:p>","DOI":"10.1142\/s0218196722500400","type":"journal-article","created":{"date-parts":[[2022,4,18]],"date-time":"2022-04-18T09:32:55Z","timestamp":1650274375000},"page":"953-967","source":"Crossref","is-referenced-by-count":0,"title":["Computable paradoxical decompositions"],"prefix":"10.1142","volume":"32","author":[{"given":"Karol","family":"Duda","sequence":"first","affiliation":[{"name":"Institute of Mathematics, University of Wroc\u0142aw, pl. Grunwaldzki 2, Wroc\u0142aw 50-384, Poland"}]},{"given":"Aleksander","family":"Ivanov (Iwanow)","sequence":"additional","affiliation":[{"name":"Department of Applied Mathematics, Silesian University of Technology, ul. Kaszubska 23, Gliwice 44-100, Poland"}]}],"member":"219","published-online":{"date-parts":[[2022,4,18]]},"reference":[{"key":"S0218196722500400BIB001","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-9967-7"},{"key":"S0218196722500400BIB002","doi-asserted-by":"publisher","DOI":"10.1142\/S0218196717500382"},{"key":"S0218196722500400BIB003","doi-asserted-by":"publisher","DOI":"10.1016\/j.jalgebra.2018.06.017"},{"key":"S0218196722500400BIB004","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14034-1"},{"key":"S0218196722500400BIB005","first-page":"57","volume":"224","author":"Ceccherini-Silberstein T.","year":"1999","journal-title":"Proc. Steklov Inst. Math."},{"key":"S0218196722500400BIB006","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-19794-4"},{"key":"S0218196722500400BIB009","first-page":"121","volume":"32","author":"de la Harpe P.","year":"1986","journal-title":"Enseign. Math."},{"key":"S0218196722500400BIB010","doi-asserted-by":"publisher","DOI":"10.1007\/s00153-020-00757-0"},{"key":"S0218196722500400BIB011","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9947-01-02840-9"},{"key":"S0218196722500400BIB012","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9947-2013-05898-9"},{"key":"S0218196722500400BIB013","first-page":"124","volume":"88","author":"Kierstead H.","year":"1983","journal-title":"Proc. Amer. Math. Soc."},{"key":"S0218196722500400BIB014","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-61896-3"},{"key":"S0218196722500400BIB015","doi-asserted-by":"publisher","DOI":"10.1112\/plms\/s3-25.4.615"},{"key":"S0218196722500400BIB016","doi-asserted-by":"publisher","DOI":"10.1016\/j.aim.2015.11.034"},{"key":"S0218196722500400BIB017","doi-asserted-by":"publisher","DOI":"10.1007\/s00224-017-9822-5"},{"key":"S0218196722500400BIB018","doi-asserted-by":"publisher","DOI":"10.4171\/LEM\/64-1\/2-6"},{"key":"S0218196722500400BIB019","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9939-1986-0813817-9"},{"key":"S0218196722500400BIB020","doi-asserted-by":"publisher","DOI":"10.4171\/JNCG\/317"},{"key":"S0218196722500400BIB021","doi-asserted-by":"publisher","DOI":"10.1112\/S0010437X1800708X"},{"volume-title":"Turing Computability. Theory and Applications","year":"2016","author":"Soare R. I.","key":"S0218196722500400BIB022"},{"key":"S0218196722500400BIB023","doi-asserted-by":"publisher","DOI":"10.4064\/fm-31-1-207-223"}],"container-title":["International Journal of Algebra and Computation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S0218196722500400","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,6,22]],"date-time":"2022-06-22T08:34:53Z","timestamp":1655886893000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/10.1142\/S0218196722500400"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,4,18]]},"references-count":21,"journal-issue":{"issue":"05","published-print":{"date-parts":[[2022,8]]}},"alternative-id":["10.1142\/S0218196722500400"],"URL":"https:\/\/doi.org\/10.1142\/s0218196722500400","relation":{},"ISSN":["0218-1967","1793-6500"],"issn-type":[{"type":"print","value":"0218-1967"},{"type":"electronic","value":"1793-6500"}],"subject":[],"published":{"date-parts":[[2022,4,18]]}}}