{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T09:03:30Z","timestamp":1750323810060},"reference-count":15,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2011,9,30]],"date-time":"2011-09-30T00:00:00Z","timestamp":1317340800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Theory Comput Syst"],"published-print":{"date-parts":[[2012,5]]},"DOI":"10.1007\/s00224-011-9364-1","type":"journal-article","created":{"date-parts":[[2011,9,29]],"date-time":"2011-09-29T05:52:12Z","timestamp":1317275532000},"page":"621-640","source":"Crossref","is-referenced-by-count":5,"title":["Effective Versions of Local Connectivity Properties"],"prefix":"10.1007","volume":"50","author":[{"given":"Dale","family":"Daniel","sequence":"first","affiliation":[]},{"given":"Timothy H.","family":"McNicholl","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2011,9,30]]},"reference":[{"key":"9364_CR1","series-title":"Grundlehren der Mathematischen Wissenschaften (Fundamental Principles of Mathematical Sciences)","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-61667-9","volume-title":"Constructive Analysis","author":"E. Bishop","year":"1985","unstructured":"Bishop, E., Bridges, D.: Constructive Analysis. Grundlehren der Mathematischen Wissenschaften (Fundamental Principles of Mathematical Sciences), vol.\u00a0279. Springer, Berlin (1985)"},{"issue":"1","key":"9364_CR2","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."},{"issue":"1-2","key":"9364_CR3","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1016\/S0304-3975(98)00284-9","volume":"219","author":"V. Brattka","year":"1999","unstructured":"Brattka, V., Weihrauch, K.: Computability on subsets of Euclidean space. I. Closed and compact subsets. Theor. Comput. Sci. 219(1-2), 65\u201393 (1999). Computability and complexity in analysis (Castle Dagstuhl, 1997)","journal-title":"Theor. Comput. Sci."},{"key":"9364_CR4","series-title":"McGraw-Hill Series in Information Processing and Computers","volume-title":"Computability and Unsolvability","author":"M. Davis","year":"1958","unstructured":"Davis, M.: Computability and Unsolvability. McGraw-Hill Series in Information Processing and Computers. McGraw-Hill, New York (1958)"},{"key":"9364_CR5","series-title":"Studies in Logic and the Foundations of Mathematics, vol.\u00a02","volume-title":"Handbook of Recursive Mathematics, vol.\u00a02","year":"1998","unstructured":"Ershov, Y.L., Goncharov, S.S., Nerode, A., Remmel, J.B., Marek, V.W. (eds.): Handbook of Recursive Mathematics, vol.\u00a02. Studies in Logic and the Foundations of Mathematics, vol.\u00a02, vol.\u00a0139. North-Holland, Amsterdam (1998), Recursive algebra, analysis and combinatorics"},{"issue":"10","key":"9364_CR6","first-page":"1200","volume":"53","author":"S. Feferman","year":"2006","unstructured":"Feferman, S.: Turing\u2019s thesis. Not. Am. Math. Soc. 53(10), 1200\u20131206 (2006)","journal-title":"Not. Am. Math. Soc."},{"key":"9364_CR7","series-title":"Informatik Berichte","first-page":"147","volume-title":"CCA 2009, Sixth International Conference on Computability and Complexity in Analysis","author":"X. Gu","year":"2009","unstructured":"Gu, X., Lutz, J., Mayordomo, E.: Curves that must be retraced. In: Bauer, A., Dillhage, R., Hertling, P., Ko, K., Rettinger, R. (eds.) CCA 2009, Sixth International Conference on Computability and Complexity in Analysis. Informatik Berichte, vol. 353, pp. 147\u2013158. Fern-Universit\u00e4t in Hagen, Hagen (2009)"},{"key":"9364_CR8","first-page":"2433","volume":"123","author":"H. Hahn","year":"1914","unstructured":"Hahn, H.: Mengentheoretische characterisierung der stetigen kurven. Sitzungsber. Akad. Wiss. Wien, Abt. IIa 123, 2433\u20132489 (1914)","journal-title":"Sitzungsber. Akad. Wiss. Wien, Abt. IIa"},{"key":"9364_CR9","volume-title":"Topology","author":"J.G. Hocking","year":"1988","unstructured":"Hocking, J.G., Young, G.S.: Topology, 2nd edn. Dover, New York (1988)","edition":"2"},{"issue":"1\u20133","key":"9364_CR10","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1016\/S0168-0072(97)00058-4","volume":"93","author":"I. Kalantari","year":"1998","unstructured":"Kalantari, I., Welch, L.: Point-free topological spaces, functions and recursive points; filter foundation for recursive analysis. I. Ann. Pure Appl. Log. 93(1\u20133), 125\u2013151 (1998)","journal-title":"I. Ann. Pure Appl. Log."},{"issue":"1-3","key":"9364_CR11","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1016\/S0168-0072(98)00048-7","volume":"98","author":"I. Kalantari","year":"1999","unstructured":"Kalantari, I., Welch, L.: Recursive and nonextendible functions over the reals; filter foundation for recursive analysis.\u00a0II. Ann. Pure Appl. Log. 98(1-3), 87\u2013110 (1999)","journal-title":"Ann. Pure Appl. Log."},{"key":"9364_CR12","doi-asserted-by":"crossref","first-page":"166","DOI":"10.4064\/fm-1-1-166-209","volume":"1","author":"S. Mazurkiewicz","year":"1920","unstructured":"Mazurkiewicz, S.: Sur les lignes de Jordan. Fundam. Math. 1, 166\u2013209 (1920)","journal-title":"Fundam. Math."},{"key":"9364_CR13","series-title":"Electronic Notes in Computer Science","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1007\/3-540-45651-1","volume-title":"CCA 2002, Computability and Complexity in Analysis","author":"J. Miller","year":"2002","unstructured":"Miller, J.: Effectiveness for embedded spheres and balls. In: Brattka, V., Schr\u00f6der, M., Weihrauch, K. (eds.) CCA 2002, Computability and Complexity in Analysis. Electronic Notes in Computer Science, vol. 66, pp. 127\u2013138. Elsevier, Amsterdam (2002)"},{"key":"9364_CR14","series-title":"Perspectives in Mathematical Logic","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-21717-7","volume-title":"Computability in Analysis and Physics","author":"M.B. Pour-El","year":"1989","unstructured":"Pour-El, M.B., Richards, J.I.: Computability in Analysis and Physics. Perspectives in Mathematical Logic. Springer, Berlin (1989)"},{"key":"9364_CR15","series-title":"Texts in Theoretical Computer Science. An EATCS Series","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. Texts in Theoretical Computer Science. An EATCS Series. Springer, Berlin (2000)"}],"container-title":["Theory of Computing Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00224-011-9364-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00224-011-9364-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00224-011-9364-1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,16]],"date-time":"2019-06-16T14:29:32Z","timestamp":1560695372000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00224-011-9364-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,9,30]]},"references-count":15,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2012,5]]}},"alternative-id":["9364"],"URL":"https:\/\/doi.org\/10.1007\/s00224-011-9364-1","relation":{},"ISSN":["1432-4350","1433-0490"],"issn-type":[{"value":"1432-4350","type":"print"},{"value":"1433-0490","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,9,30]]}}}