{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,30]],"date-time":"2026-04-30T02:40:35Z","timestamp":1777516835394,"version":"3.51.4"},"reference-count":25,"publisher":"SAGE Publications","issue":"3-4","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["COM"],"published-print":{"date-parts":[[2020,8,3]]},"DOI":"10.3233\/com-190253","type":"journal-article","created":{"date-parts":[[2019,11,15]],"date-time":"2019-11-15T11:51:36Z","timestamp":1573818696000},"page":"169-191","source":"Crossref","is-referenced-by-count":13,"title":["Overt choice"],"prefix":"10.1177","volume":"9","author":[{"given":"Matthew","family":"de Brecht","sequence":"first","affiliation":[{"name":"Graduate School of Human and Environmental Studies, Kyoto University, Japan. matthew@i.h.kyoto-u.ac.jp"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Arno","family":"Pauly","sequence":"additional","affiliation":[{"name":"Department of Computer Science, Swansea University, UK. Arno.M.Pauly@gmail.com"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Matthias","family":"Schr\u00f6der","sequence":"additional","affiliation":[{"name":"Department of Mathematics, Technical University Darmstadt, Germany. Matthias.Schroeder@cca-net.de"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"179","reference":[{"issue":"3","key":"10.3233\/COM-190253_ref1","doi-asserted-by":"publisher","first-page":"313","DOI":"10.1307\/mmj\/1029000034","article-title":"Ordinal invariants for topological spaces","volume":"15","author":"Arhangel\u2019skii","year":"1968","journal-title":"Michigan Math.\u00a0J."},{"issue":"7","key":"10.3233\/COM-190253_ref2","doi-asserted-by":"publisher","first-page":"1490","DOI":"10.1017\/S096012951300025X","article-title":"Borel and Hausdorff hierarchies in topological spaces of Choquet games and their effectivization","volume":"25","author":"Becher","year":"2015","journal-title":"Mathematical Structures in Computer Science"},{"key":"10.3233\/COM-190253_ref3","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45465-9_81"},{"issue":"8","key":"10.3233\/COM-190253_ref4","doi-asserted-by":"publisher","first-page":"968","DOI":"10.1016\/j.apal.2011.12.020","article-title":"Closed choice and a uniform low basis theorem","volume":"163","author":"Brattka","year":"2012","journal-title":"Annals of Pure and Applied Logic"},{"key":"10.3233\/COM-190253_ref5","doi-asserted-by":"publisher","first-page":"143","DOI":"10.2178\/jsl\/1294170993","article-title":"Weihrauch degrees, omniscience principles and weak computability","volume":"76","author":"Brattka","year":"2011","journal-title":"Journal of Symbolic Logic"},{"key":"10.3233\/COM-190253_ref6","doi-asserted-by":"publisher","first-page":"73","DOI":"10.2178\/bsl\/1294186663","article-title":"Effective choice and boundedness principles in computable analysis","volume":"17","author":"Brattka","year":"2011","journal-title":"Bulletin of Symbolic Logic"},{"issue":"4","key":"10.3233\/COM-190253_ref8","doi-asserted-by":"publisher","first-page":"1376","DOI":"10.1007\/s00224-017-9798-1","article-title":"On the uniform computational content of computability theory","volume":"61","author":"Brattka","year":"2017","journal-title":"Theory of Computing Systems"},{"key":"10.3233\/COM-190253_ref9","doi-asserted-by":"publisher","DOI":"10.23638\/LMCS-14(4:4)2018"},{"issue":"1\u20133","key":"10.3233\/COM-190253_ref10","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1016\/S0304-3975(02)00693-X","article-title":"Computability on subsets of metric spaces","volume":"305","author":"Brattka","year":"2003","journal-title":"Theoretical Computer Science"},{"issue":"3","key":"10.3233\/COM-190253_ref12","first-page":"354","article-title":"Quasi-Polish spaces","volume":"164","author":"de\u00a0Brecht","year":"2013","journal-title":"Annals of Pure and Applied Logic"},{"key":"10.3233\/COM-190253_ref13","doi-asserted-by":"publisher","DOI":"10.23638\/LMCS-14(1:13)2018"},{"key":"10.3233\/COM-190253_ref14","doi-asserted-by":"publisher","first-page":"59","DOI":"10.4064\/fm209-1-5","article-title":"Stationary and convergent strategies in Choquet games","volume":"209","author":"Dorias","year":"2019","journal-title":"Fundamenta Mathematicae"},{"key":"10.3233\/COM-190253_ref15","doi-asserted-by":"crossref","unstructured":"M.\u00a0Escard\u00f3, Synthetic topology of datatypes and classical spaces, Electronic Notes in Theoretical Computer Science 87 (2004).","DOI":"10.1016\/S1571-0661(04)05135-7"},{"issue":"4","key":"10.3233\/COM-190253_ref16","doi-asserted-by":"publisher","first-page":"393","DOI":"10.1215\/00294527-2009-018","article-title":"How incomputable is the separable Hahn\u2013Banach theorem?","volume":"50","author":"Gherardi","year":"2009","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"10.3233\/COM-190253_ref19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-23247-4_13"},{"key":"10.3233\/COM-190253_ref22","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-58741-7_27"},{"issue":"4","key":"10.3233\/COM-190253_ref23","doi-asserted-by":"publisher","first-page":"233","DOI":"10.2307\/2310346","article-title":"Selected selection theorems","volume":"63","author":"Michael","year":"1956","journal-title":"The American Mathematical Monthly"},{"issue":"2","key":"10.3233\/COM-190253_ref25","doi-asserted-by":"publisher","first-page":"159","DOI":"10.3233\/COM-150049","article-title":"On the topological aspects of the theory of represented spaces","volume":"5","author":"Pauly","year":"2016","journal-title":"Computability"},{"issue":"4\/5","key":"10.3233\/COM-190253_ref27","doi-asserted-by":"publisher","first-page":"443","DOI":"10.1002\/malq.200310111","article-title":"Spaces allowing type-2 complexity theory revisited","volume":"50","author":"Schr\u00f6der","year":"2004","journal-title":"Mathematical Logic Quarterly"},{"key":"10.3233\/COM-190253_ref28","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-20028-6_33"},{"issue":"4","key":"10.3233\/COM-190253_ref29","doi-asserted-by":"publisher","first-page":"238","DOI":"10.1023\/B:ALLO.0000035115.44324.5d","article-title":"Difference hierarchy in \u03c6-spaces","volume":"43","author":"Selivanov","year":"2004","journal-title":"Algebra and Logic"},{"issue":"3","key":"10.3233\/COM-190253_ref30","doi-asserted-by":"publisher","first-page":"258","DOI":"10.1016\/j.tcs.2006.07.053","article-title":"Towards a descriptive set theory for domain-like structures","volume":"365","author":"Selivanov","year":"2006","journal-title":"Theoretical Computer Science"},{"issue":"2","key":"10.3233\/COM-190253_ref31","doi-asserted-by":"crossref","first-page":"127","DOI":"10.4064\/fm-149-2-127-141","article-title":"Selections that characterize topological completeness","volume":"149","author":"van Mill","year":"1996","journal-title":"Fundamenta Mathematicae"},{"key":"10.3233\/COM-190253_ref32","unstructured":"K.\u00a0Weihrauch, The Degrees of Discontinuity of Some Translators Between Representations of the Real Numbers, Informatik Berichte, Vol.\u00a0129, FernUniversit\u00e4t Hagen, Hagen, 1992."},{"key":"10.3233\/COM-190253_ref33","unstructured":"K.\u00a0Weihrauch, The TTE-Interpretation of Three Hierarchies of Omniscience Principles, Informatik Berichte, Vol.\u00a0130, FernUniversit\u00e4t Hagen, Hagen, 1992."}],"container-title":["Computability"],"original-title":[],"link":[{"URL":"https:\/\/content.iospress.com\/download?id=10.3233\/COM-190253","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,28]],"date-time":"2026-04-28T16:00:15Z","timestamp":1777392015000},"score":1,"resource":{"primary":{"URL":"https:\/\/journals.sagepub.com\/doi\/full\/10.3233\/COM-190253"}},"subtitle":[],"editor":[{"given":"Vasco","family":"Brattka","sequence":"additional","affiliation":[],"role":[{"role":"editor","vocabulary":"crossref"}]},{"given":"Damir D.","family":"Dzhafarov","sequence":"additional","affiliation":[],"role":[{"role":"editor","vocabulary":"crossref"}]},{"given":"Alberto","family":"Marcone","sequence":"additional","affiliation":[],"role":[{"role":"editor","vocabulary":"crossref"}]},{"given":"Arno","family":"Pauly","sequence":"additional","affiliation":[],"role":[{"role":"editor","vocabulary":"crossref"}]}],"short-title":[],"issued":{"date-parts":[[2020,8,3]]},"references-count":25,"journal-issue":{"issue":"3-4"},"URL":"https:\/\/doi.org\/10.3233\/com-190253","relation":{},"ISSN":["2211-3576","2211-3568"],"issn-type":[{"value":"2211-3576","type":"electronic"},{"value":"2211-3568","type":"print"}],"subject":[],"published":{"date-parts":[[2020,8,3]]}}}