{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,30]],"date-time":"2025-12-30T03:43:27Z","timestamp":1767066207994,"version":"3.40.5"},"reference-count":51,"publisher":"World Scientific Pub Co Pte Ltd","issue":"08","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Algebra Comput."],"published-print":{"date-parts":[[2023,12]]},"abstract":"<jats:p> We compare several natural notions of effective presentability of a topological space up to homeomorphism. We note that every left-c.e. (lower-semicomputable) Stone space is homeomorphic to a computable one. In contrast, we produce an example of a locally compact, left-c.e. space that is not homeomorphic to any computable Polish space. We apply a similar technique to produce examples of computable topological spaces not homeomorphic to any right-c.e. (upper-semicomputable) Polish space, and indeed to any arithmetical or even analytical Polish space. We then apply our techniques to totally disconnected locally compact (tdlc) groups. We prove that every computably locally compact tdlc group is topologically isomorphic to a computable tdlc group. <\/jats:p>","DOI":"10.1142\/s0218196723500649","type":"journal-article","created":{"date-parts":[[2023,9,30]],"date-time":"2023-09-30T01:53:20Z","timestamp":1696038800000},"page":"1687-1711","source":"Crossref","is-referenced-by-count":6,"title":["Separating notions in effective topology"],"prefix":"10.1142","volume":"33","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-8781-7432","authenticated-orcid":false,"given":"Alexander G.","family":"Melnikov","sequence":"first","affiliation":[{"name":"Victoria University of Wellington, Wellington, New Zealand"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7113-0596","authenticated-orcid":false,"given":"Keng Meng","family":"Ng","sequence":"additional","affiliation":[{"name":"Nanyang Technological University, Singapore"}]}],"member":"219","published-online":{"date-parts":[[2023,10,31]]},"reference":[{"volume-title":"Computable Analysis","year":"1980","author":"Aberth O.","key":"S0218196723500649BIB001"},{"key":"S0218196723500649BIB002","series-title":"Studies in Logic and the Foundations of Mathematics","volume-title":"Computable Structures and the Hyperarithmetical Hierarchy","volume":"144","author":"Ash C.","year":"2000"},{"key":"S0218196723500649BIB003","doi-asserted-by":"publisher","DOI":"10.1016\/j.apal.2023.103304"},{"key":"S0218196723500649BIB005","doi-asserted-by":"publisher","DOI":"10.2307\/1970103"},{"key":"S0218196723500649BIB006","doi-asserted-by":"publisher","DOI":"10.1142\/S0219061319500041"},{"key":"S0218196723500649BIB007","series-title":"Algorithms and Computation in Mathematics","volume-title":"Computability of Julia Sets","volume":"23","author":"Braverman M.","year":"2009"},{"key":"S0218196723500649BIB008","doi-asserted-by":"publisher","DOI":"10.1016\/j.jalgebra.2019.09.017"},{"key":"S0218196723500649BIB009","first-page":"49","volume":"128","author":"Ceitin G.","year":"1959","journal-title":"Dokl. Akad. Nauk SSSR"},{"key":"S0218196723500649BIB010","doi-asserted-by":"publisher","DOI":"10.1017\/bsl.2023.16"},{"key":"S0218196723500649BIB011","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-4305-3"},{"key":"S0218196723500649BIB012","doi-asserted-by":"publisher","DOI":"10.2307\/2270692"},{"key":"S0218196723500649BIB013","doi-asserted-by":"publisher","DOI":"10.1134\/S1995080214040179"},{"key":"S0218196723500649BIB014","doi-asserted-by":"publisher","DOI":"10.1515\/jgth-2016-0051"},{"issue":"1","key":"S0218196723500649BIB015","first-page":"12","volume":"146","author":"Greenberg N.","year":"2017","journal-title":"Proc. Amer. Math. Soc."},{"key":"S0218196723500649BIB016","doi-asserted-by":"publisher","DOI":"10.1017\/jsl.2020.67"},{"issue":"1","key":"S0218196723500649BIB017","first-page":"1","volume":"25","author":"Hofmann K.","year":"2015","journal-title":"J. Lie Theory"},{"key":"S0218196723500649BIB019","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-59234-9_2"},{"key":"S0218196723500649BIB020","doi-asserted-by":"publisher","DOI":"10.1016\/0168-0072(85)90033-8"},{"key":"S0218196723500649BIB021","doi-asserted-by":"publisher","DOI":"10.1002\/malq.200710062"},{"issue":"2","key":"S0218196723500649BIB022","first-page":"244","volume":"25","author":"Khisamiev N.","year":"1986","journal-title":"Algebra i Logika"},{"key":"S0218196723500649BIB023","doi-asserted-by":"publisher","DOI":"10.2307\/2695066"},{"key":"S0218196723500649BIB024","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4684-6802-1"},{"issue":"4","key":"S0218196723500649BIB026","first-page":"13","volume":"13","author":"Korovina M.","year":"2017","journal-title":"Log. Methods Comput. Sci."},{"key":"S0218196723500649BIB027","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-74313-4_18"},{"issue":"3","key":"S0218196723500649BIB028","first-page":"18","volume":"13","author":"Selivanov V.","year":"2017","journal-title":"Log. Methods Comput. Sci."},{"key":"S0218196723500649BIB030","doi-asserted-by":"publisher","DOI":"10.2307\/2273630"},{"key":"S0218196723500649BIB031","first-page":"315","volume":"20","author":"Lupini M.","year":"2021","journal-title":"Bulletin of Symbolic Logic"},{"issue":"3","key":"S0218196723500649BIB032","first-page":"3","volume":"16","author":"Mal\u2019tev A.","year":"1961","journal-title":"Uspehi Mat. Nauk"},{"key":"S0218196723500649BIB033","doi-asserted-by":"publisher","DOI":"10.1090\/tran\/7355"},{"key":"S0218196723500649BIB034","doi-asserted-by":"publisher","DOI":"10.1134\/S0037446621050116"},{"key":"S0218196723500649BIB035","doi-asserted-by":"publisher","DOI":"10.1017\/jsl.2017.68"},{"key":"S0218196723500649BIB037","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39053-1_37"},{"key":"S0218196723500649BIB038","doi-asserted-by":"publisher","DOI":"10.1016\/0003-4843(79)90011-1"},{"key":"S0218196723500649BIB039","doi-asserted-by":"publisher","DOI":"10.4064\/fm-55-3-215-238"},{"volume-title":"Elements of Algebraic Topology","year":"1984","author":"Munkres J.","key":"S0218196723500649BIB040"},{"key":"S0218196723500649BIB041","first-page":"28","volume":"169","author":"Nogina E. Ju.","year":"1966","journal-title":"Dokl. Akad. Nauk SSSR"},{"key":"S0218196723500649BIB042","first-page":"1","volume":"44","author":"Novikov P.","year":"1955","journal-title":"Trudy Mat. Inst. Steklov"},{"key":"S0218196723500649BIB043","doi-asserted-by":"publisher","DOI":"10.1007\/BF00970918"},{"key":"S0218196723500649BIB045","series-title":"Leibniz International Proceedings in Informatics","first-page":"34:1","volume-title":"28th EACSL Annual Conf. Computer Science Logic (CSL 2020)","volume":"152","author":"Pauly A.","year":"2020"},{"key":"S0218196723500649BIB046","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-21717-7"},{"key":"S0218196723500649BIB047","first-page":"341","volume":"95","author":"Rabin M.","year":"1960","journal-title":"Trans. Amer. Math. Soc."},{"key":"S0218196723500649BIB048","doi-asserted-by":"publisher","DOI":"10.1134\/S1995080220020146"},{"key":"S0218196723500649BIB050","doi-asserted-by":"publisher","DOI":"10.2307\/2273233"},{"key":"S0218196723500649BIB051","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0086126"},{"key":"S0218196723500649BIB052","doi-asserted-by":"publisher","DOI":"10.1007\/s00224-020-10017-6"},{"key":"S0218196723500649BIB053","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-56999-9"},{"issue":"6","key":"S0218196723500649BIB054","first-page":"1381","volume":"15","author":"Weihrauch K.","year":"2009","journal-title":"J.Univ. Comput. Sci."},{"key":"S0218196723500649BIB055","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(98)00299-0"},{"key":"S0218196723500649BIB056","doi-asserted-by":"publisher","DOI":"10.1112\/plms\/pdv013"},{"key":"S0218196723500649BIB057","doi-asserted-by":"publisher","DOI":"10.1007\/s00208-014-1074-y"},{"key":"S0218196723500649BIB058","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129508007366"}],"container-title":["International Journal of Algebra and Computation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S0218196723500649","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,12,31]],"date-time":"2023-12-31T03:17:57Z","timestamp":1703992677000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/10.1142\/S0218196723500649"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,10,31]]},"references-count":51,"journal-issue":{"issue":"08","published-print":{"date-parts":[[2023,12]]}},"alternative-id":["10.1142\/S0218196723500649"],"URL":"https:\/\/doi.org\/10.1142\/s0218196723500649","relation":{},"ISSN":["0218-1967","1793-6500"],"issn-type":[{"type":"print","value":"0218-1967"},{"type":"electronic","value":"1793-6500"}],"subject":[],"published":{"date-parts":[[2023,10,31]]}}}