{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,24]],"date-time":"2026-09-24T03:38:48Z","timestamp":1790221128947,"version":"4.1.0"},"reference-count":26,"publisher":"SAGE Publications","issue":"1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["COM"],"published-print":{"date-parts":[[2016,2,11]]},"DOI":"10.3233\/com-150044","type":"journal-article","created":{"date-parts":[[2016,2,18]],"date-time":"2016-02-18T08:27:30Z","timestamp":1455784050000},"page":"75-102","source":"Crossref","is-referenced-by-count":5,"title":["Base-complexity classifications of qcb0-spaces1"],"prefix":"10.1177","volume":"5","author":[{"given":"Matthew","family":"de Brecht","sequence":"first","affiliation":[{"name":"National Institute of Information and Communications Technology (NICT), Center for Information and Neural Networks (CiNet), Osaka, Japan. matthew@nict.go.jp"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Matthias","family":"Schr\u00f6der","sequence":"additional","affiliation":[{"name":"Department of Mathematics, TU Darmstadt, Darmstadt, Germany. matthias.schroeder@cca-net.de"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Victor","family":"Selivanov","sequence":"additional","affiliation":[{"name":"A.P. Ershov Institute of Informatics Systems SB RAS, Novosibirsk, Russia. vseliv@iis.nsk.su"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"179","reference":[{"key":"10.3233\/COM-150044_ref1","doi-asserted-by":"crossref","first-page":"3733","DOI":"10.1090\/S0002-9939-99-04902-3","article-title":"Consonance and topological completeness in analytic spaces","volume":"127","author":"Bouziad","year":"1999","journal-title":"Proc. Amer. Math. Soc."},{"key":"10.3233\/COM-150044_ref2","doi-asserted-by":"crossref","first-page":"241","DOI":"10.1016\/S0304-3975(01)00066-4","article-title":"Topological properties of real number representations","volume":"284","author":"Brattka","year":"2002","journal-title":"Theoretical Computer Science"},{"key":"10.3233\/COM-150044_ref4","doi-asserted-by":"crossref","first-page":"259","DOI":"10.1016\/S0166-8641(97)00096-5","article-title":"On the dissonance of some metrizable spaces","volume":"84","author":"Constantini","year":"1998","journal-title":"Topology and Its Applications"},{"key":"10.3233\/COM-150044_ref5","doi-asserted-by":"crossref","first-page":"356","DOI":"10.1016\/j.apal.2012.11.001","article-title":"Quasi-Polish spaces","volume":"164","author":"de\u00a0Brecht","year":"2013","journal-title":"Annals of Pure and Applied Logic"},{"key":"10.3233\/COM-150044_ref6","doi-asserted-by":"crossref","first-page":"2869","DOI":"10.1090\/S0002-9947-1995-1303118-7","article-title":"When do the upper Kuratowski topology (homeomorphically, Scott topology) and the co-compact topology coincide?","volume":"347","author":"Dolecki","year":"1995","journal-title":"Trans. Amer. Math. Soc."},{"key":"10.3233\/COM-150044_ref7","unstructured":"[7]R.\u00a0Engelking, General Topology, Heldermann, Berlin, 1989."},{"key":"10.3233\/COM-150044_ref8","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1016\/j.topol.2004.02.011","article-title":"Comparing Cartesian closed categories of core compactly generated spaces","volume":"143","author":"Escard\u00f3","year":"2004","journal-title":"Topology and Its Applications"},{"key":"10.3233\/COM-150044_ref9","doi-asserted-by":"crossref","unstructured":"[9]G.\u00a0Giertz, K.H.\u00a0Hofmann, K.\u00a0Keimel, J.D.\u00a0Lawson, M.W.\u00a0Mislove and D.S.\u00a0Scott, A Compendium of Continuous Lattices, Springer, Berlin, 1980.","DOI":"10.1007\/978-3-642-67678-9"},{"issue":"2","key":"10.3233\/COM-150044_ref10","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1017\/S0960129506005184","article-title":"Quotients of countably based spaces are not closed under sobrification","volume":"16","author":"Gruenhage","year":"2006","journal-title":"Mathematical Structures in Computer Science"},{"key":"10.3233\/COM-150044_ref11","doi-asserted-by":"crossref","unstructured":"[11]A.S.\u00a0Kechris, Classical Descriptive Set Theory, Springer, New York, 1995.","DOI":"10.1007\/978-1-4612-4190-4"},{"key":"10.3233\/COM-150044_ref12","doi-asserted-by":"crossref","unstructured":"[12]A.S.\u00a0Kechris, Suslin cardinals, k-Suslin sets and the scale property in the hyperprojective hierarchy, in: Games, Scales and Suslin Cardinals: The Cabal Seminar, Volume I, A.S.\u00a0Kechris, B.\u00a0L\u00f6we and J.R.\u00a0Steel, eds, Lecture Notes in Logic, Vol.\u00a031, 2008, pp.\u00a0314\u2013332. (Reprinted from Lecture Notes in Mathematics, Vol. 1019, Springer, Berlin, 1983.)","DOI":"10.1017\/CBO9780511546488.016"},{"key":"10.3233\/COM-150044_ref13","unstructured":"[13]S.C.\u00a0Kleene, Countable functionals, in: Constructivity in Mathematics, A.\u00a0Heyting, ed., North-Holland, Amsterdam, 1959, pp.\u00a087\u2013100."},{"key":"10.3233\/COM-150044_ref14","unstructured":"[14]G.\u00a0Kreisel, Interpretation of analysis by means of constructive functionals of finite types, in: Constructivity in Mathematics, A.\u00a0Heyting, ed., North-Holland, Amsterdam, 1959, pp.\u00a0101\u2013128."},{"key":"10.3233\/COM-150044_ref15","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1016\/0304-3975(85)90208-7","article-title":"Theory of representations","volume":"38","author":"Kreitz","year":"1985","journal-title":"Theoretical Computer Science"},{"issue":"3","key":"10.3233\/COM-150044_ref16","doi-asserted-by":"crossref","first-page":"629","DOI":"10.2140\/pjm.1969.28.629","article-title":"Quotients of the space of irrationals","volume":"28","author":"Michael","year":"1969","journal-title":"Pacific Journal of Mathematics"},{"key":"10.3233\/COM-150044_ref17","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1016\/0166-8641(95)00098-4","article-title":"When does the Fell topology on a hyperspace of closed sets coincide with the meet of the upper Kuratowski and the lower Vietoris topologies?","volume":"70","author":"Nogura","year":"1996","journal-title":"Topology and Its Applications"},{"key":"10.3233\/COM-150044_ref19","doi-asserted-by":"crossref","first-page":"519","DOI":"10.1016\/S0304-3975(01)00109-8","article-title":"Extended admissibility","volume":"284","author":"Schr\u00f6der","year":"2002","journal-title":"Theoretical Computer Science"},{"issue":"4,5","key":"10.3233\/COM-150044_ref21","doi-asserted-by":"crossref","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":"Math. Log. Quart."},{"key":"10.3233\/COM-150044_ref23","doi-asserted-by":"crossref","unstructured":"[23]M.\u00a0Schr\u00f6der and V.\u00a0Selivanov, Some hierarchies of qcb0-spaces, Mathematical Structures in Computer Science (2014). doi:10.1017\/S0960129513000376.","DOI":"10.1017\/S0960129513000376"},{"issue":"1","key":"10.3233\/COM-150044_ref24","doi-asserted-by":"crossref","first-page":"1","DOI":"10.3233\/COM-150031","article-title":"Hyperprojective hierarchy of qcb0-spaces","volume":"4","author":"Schr\u00f6der","year":"2015","journal-title":"Journal of Computability"},{"issue":"1","key":"10.3233\/COM-150044_ref25","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1017\/S0960129506005895","article-title":"Two preservation results for countable products of sequential spaces","volume":"17","author":"Schr\u00f6der","year":"2007","journal-title":"Mathematical Structures in Computer Science"},{"key":"10.3233\/COM-150044_ref26","doi-asserted-by":"crossref","unstructured":"[26]D.\u00a0Scott, Continuous lattices, in: Toposes, Algebraic Geometry and Logic, Lecture Notes in Mathematics, Vol.\u00a0274, 1972, pp.\u00a097\u2013136.","DOI":"10.1007\/BFb0073967"},{"key":"10.3233\/COM-150044_ref27","doi-asserted-by":"crossref","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-150044_ref28","doi-asserted-by":"crossref","first-page":"1","DOI":"10.2168\/LMCS-9(2:5)2013","article-title":"Total representations","volume":"9","author":"Selivanov","year":"2013","journal-title":"Logical Methods in Computer Science"},{"key":"10.3233\/COM-150044_ref29","doi-asserted-by":"crossref","unstructured":"[29]M.B.\u00a0Smyth, Power domains and predicate transformers: A topological view, in: Automata, Languages and Programming, Lecture Notes in Computer Science, Vol.\u00a0154, 1983, pp.\u00a0662\u2013675.","DOI":"10.1007\/BFb0036946"},{"key":"10.3233\/COM-150044_ref30","doi-asserted-by":"crossref","unstructured":"[30]K.\u00a0Weihrauch, Computable Analysis, Springer, Berlin, 2000.","DOI":"10.1007\/978-3-642-56999-9"}],"container-title":["Computability"],"original-title":[],"link":[{"URL":"https:\/\/content.iospress.com\/download?id=10.3233\/COM-150044","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,28]],"date-time":"2026-04-28T15:59:47Z","timestamp":1777391987000},"score":1,"resource":{"primary":{"URL":"https:\/\/journals.sagepub.com\/doi\/full\/10.3233\/COM-150044"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,2,11]]},"references-count":26,"journal-issue":{"issue":"1"},"URL":"https:\/\/doi.org\/10.3233\/com-150044","relation":{},"ISSN":["2211-3576","2211-3568"],"issn-type":[{"value":"2211-3576","type":"electronic"},{"value":"2211-3568","type":"print"}],"subject":[],"published":{"date-parts":[[2016,2,11]]}}}