{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,14]],"date-time":"2025-11-14T03:54:24Z","timestamp":1763092464076,"version":"3.37.3"},"reference-count":15,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2017,5,22]],"date-time":"2017-05-22T00:00:00Z","timestamp":1495411200000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Theory Comput Syst"],"published-print":{"date-parts":[[2018,7]]},"DOI":"10.1007\/s00224-017-9781-x","type":"journal-article","created":{"date-parts":[[2017,5,22]],"date-time":"2017-05-22T04:35:50Z","timestamp":1495427750000},"page":"1109-1124","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["Co-c.e. Sets with Disconnected Complements"],"prefix":"10.1007","volume":"62","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-0755-8050","authenticated-orcid":false,"given":"Zvonko","family":"Iljazovi\u0107","sequence":"first","affiliation":[]},{"given":"Bojan","family":"Pa\u017eek","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,5,22]]},"reference":[{"issue":"1","key":"9781_CR1","doi-asserted-by":"crossref","first-page":"303","DOI":"10.1137\/060658023","volume":"38","author":"V Brattka","year":"2008","unstructured":"Brattka, V.: Plottable real number functions and the computable graph theorem. SIAM J. Comput. 38(1), 303\u2013328 (2008)","journal-title":"SIAM J. Comput."},{"key":"9781_CR2","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1016\/S0304-3975(02)00693-X","volume":"305","author":"V Brattka","year":"2003","unstructured":"Brattka, V., Presser, G.: Computability on subsets of metric spaces. Theor. Comput. Sci. 305, 43\u201376 (2003)","journal-title":"Theor. Comput. Sci."},{"issue":"2:8","key":"9781_CR3","first-page":"1","volume":"10","author":"K Burnik","year":"2014","unstructured":"Burnik, K., Iljazovi\u0107, Z.: Computability of 1-manifolds. Logical Methods Comput. Sci. 10(2:8), 1\u201328 (2014)","journal-title":"Logical Methods Comput. Sci."},{"doi-asserted-by":"crossref","unstructured":"Miller, J.S.: Effectiveness for embedded spheres and balls, Electronic notes in theoretical computer science, volume 66, Elsevier, 127\u2013138 (2002)","key":"9781_CR4","DOI":"10.1016\/S1571-0661(04)80384-0"},{"issue":"6","key":"9781_CR5","first-page":"1206","volume":"15","author":"Z Iljazovi\u0107","year":"2009","unstructured":"Iljazovi\u0107, Z.: Chainable and circularly chainable continua in computable metric spaces. J. Universal Comput. Sci. 15(6), 1206\u20131235 (2009)","journal-title":"J. Universal Comput. Sci."},{"issue":"3:05","key":"9781_CR6","first-page":"1","volume":"7","author":"Z Iljazovi\u0107","year":"2011","unstructured":"Iljazovi\u0107, Z.: Co-c.e.spheres and cells in computable metric spaces. Logical Methods Comput. Sci. 7(3:05), 1\u201321 (2011)","journal-title":"Logical Methods Comput. Sci."},{"issue":"67","key":"9781_CR7","first-page":"1","volume":"47","author":"Z Iljazovi\u0107","year":"2012","unstructured":"Iljazovi\u0107, Z.: Local computability of computable metric spaces and computability of Co-c.e Continua. Glasnik matemati\u010dki 47(67), 1\u201320 (2012)","journal-title":"Glasnik matemati\u010dki"},{"issue":"4:19","key":"9781_CR8","first-page":"1","volume":"9","author":"Z Iljazovi\u0107","year":"2013","unstructured":"Iljazovi\u0107, Z.: Compact manifolds with computable boundaries. Logical Methods Comput. Sci. 9(4:19), 1\u201322 (2013)","journal-title":"Logical Methods Comput. Sci."},{"unstructured":"Iljazovi\u0107, Z., Pa\u017eek, B.: Computable intersection points, preprint","key":"9781_CR9"},{"issue":"4","key":"9781_CR10","doi-asserted-by":"crossref","first-page":"840","DOI":"10.1016\/j.apal.2016.10.015","volume":"168","author":"Z Iljazovi\u0107","year":"2017","unstructured":"Iljazovi\u0107, Z., Valid\u017ei\u0107, L.: Computable neighbourhoods of points in semicomputable manifolds. Ann. Pure Appl. Logic 168(4), 840\u2013859 (2017)","journal-title":"Ann. Pure Appl. Logic"},{"issue":"4","key":"9781_CR11","doi-asserted-by":"crossref","first-page":"445","DOI":"10.1017\/bsl.2016.26","volume":"22","author":"Z Iljazovi\u0107","year":"2016","unstructured":"Iljazovi\u0107, Z., Valid\u017ei\u0107, L.: Maximal computability structures. Bull. Symb. Log. 22(4), 445\u2013468 (2016)","journal-title":"Bull. Symb. Log."},{"issue":"2","key":"9781_CR12","doi-asserted-by":"crossref","first-page":"131","DOI":"10.3233\/COM-12012","volume":"1","author":"T Kihara","year":"2012","unstructured":"Kihara, T.: Incomputability of simply connected planar continua. Computability 1(2), 131\u2013152 (2012)","journal-title":"Computability"},{"key":"9781_CR13","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-21717-7","volume-title":"Computability in Analysis and Physics","author":"MB Pour-El","year":"1989","unstructured":"Pour-El, M.B., Richards, I.: Computability in Analysis and Physics. Springer-Verlag, Berlin (1989)"},{"unstructured":"Specker, E.: Der Satz vom maximum in der rekursiven analysis. In: Heyting, A. (ed.) Constructivity in Mathematics, pp. 254\u2013265. North Holland Publica. Comp., Amsterdam (1959)","key":"9781_CR14"},{"key":"9781_CR15","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-56999-9","volume-title":"Computable Analysis","author":"K Weihrauch","year":"2000","unstructured":"Weihrauch, K.: Computable Analysis. Springer, Berlin (2000)"}],"container-title":["Theory of Computing Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00224-017-9781-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00224-017-9781-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00224-017-9781-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,10,8]],"date-time":"2020-10-08T05:31:56Z","timestamp":1602135116000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00224-017-9781-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,5,22]]},"references-count":15,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2018,7]]}},"alternative-id":["9781"],"URL":"https:\/\/doi.org\/10.1007\/s00224-017-9781-x","relation":{},"ISSN":["1432-4350","1433-0490"],"issn-type":[{"type":"print","value":"1432-4350"},{"type":"electronic","value":"1433-0490"}],"subject":[],"published":{"date-parts":[[2017,5,22]]}}}