{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,27]],"date-time":"2026-03-27T05:48:53Z","timestamp":1774590533632,"version":"3.50.1"},"publisher-location":"Cham","reference-count":23,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319200279","type":"print"},{"value":"9783319200286","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-20028-6_33","type":"book-chapter","created":{"date-parts":[[2015,6,19]],"date-time":"2015-06-19T10:07:37Z","timestamp":1434708457000},"page":"324-333","source":"Crossref","is-referenced-by-count":12,"title":["Towards the Effective Descriptive Set Theory"],"prefix":"10.1007","author":[{"given":"Victor","family":"Selivanov","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,6,20]]},"reference":[{"key":"33_CR1","first-page":"1","volume-title":"Handbook of Logic in Computer Science","author":"S Abramsky","year":"1994","unstructured":"Abramsky, S., Jung, A.: Domain theory. In: Abramsky, S., Gabbay, D.M., Maibaum, T.S.E. (eds.) Handbook of Logic in Computer Science, vol. 3, pp. 1\u2013168. Clarendon Press, Oxford (1994)"},{"key":"33_CR2","doi-asserted-by":"publisher","unstructured":"Becher, V., Grigorieff, S.: Borel and Hausdorff hierarchies in topological spaces of Choquet games and their effectivization. Math. Struct. Comput. Sci. Available on CJO (2014). doi:\n                      10.1017\/S096012951300025X","DOI":"10.1017\/S096012951300025X"},{"issue":"1","key":"33_CR3","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1002\/malq.200310125","volume":"51","author":"V Brattka","year":"2005","unstructured":"Brattka, V.: Effective Borel measurability and reducibility of functions. Math. Logic Q. 51(1), 19\u201344 (2005)","journal-title":"Math. Logic Q."},{"key":"33_CR4","doi-asserted-by":"publisher","first-page":"356","DOI":"10.1016\/j.apal.2012.11.001","volume":"164","author":"M Brecht de","year":"2013","unstructured":"de Brecht, M.: Quasi-Polish spaces. Ann. Pure Appl. Logic 164, 356\u2013381 (2013)","journal-title":"Ann. Pure Appl. Logic"},{"issue":"4","key":"33_CR5","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1007\/BF02218664","volume":"7","author":"YL Ershov","year":"1968","unstructured":"Ershov, Y.L.: On a hierarchy of sets 1,2,3 (in Russian). Algebra i Logika 7(4), 15\u201347 (1968)","journal-title":"Algebra i Logika"},{"key":"33_CR6","unstructured":"Gregoriades, V., Kispeter, T., Pauly, A.: A comparison of concepts from computable analysis and effective descriptive set theory. Mathematical structures in computer science (submitted to). arxiv.org\/pdf\/1403.7997"},{"key":"33_CR7","unstructured":"Gregoriades V.: Effective refinements of classical theorems in descriptive set theory (informal presentation). Talks at Conference \u201cComputability and Complexity in Analysis\u201d in Nancy (2013). \n                      http:\/\/cca-net.de\/cca2013\/slides\/"},{"key":"33_CR8","unstructured":"Gregoriades, V.: Classes of polish spaces under effective Borel isomorphism. Mem. Amer. Math. Soc. (to appear). \n                      www.mathematik.tu-darmastadt.de\/gregoriages\/papers\/eff.webpage.pdf"},{"key":"33_CR9","doi-asserted-by":"publisher","first-page":"381","DOI":"10.1002\/malq.200710009","volume":"53","author":"T Grubba","year":"2007","unstructured":"Grubba, T., Schr\u00f6der, M., Weihrauch, K.: Computable metrization. Math. Logic Q. 53, 381\u2013395 (2007)","journal-title":"Math. Logic Q."},{"key":"33_CR10","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1007\/s00153-005-0317-8","volume":"45","author":"A Hemmerling","year":"2006","unstructured":"Hemmerling, A.: The Hausdorff-Ershov hierarchy in Euclidean spaces. Arch. Math. Logic 45, 323\u2013350 (2006)","journal-title":"Arch. Math. Logic"},{"key":"33_CR11","series-title":"Graduate Texts in Mathematics","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-4190-4","volume-title":"Classical Descriptive Set Theory","author":"AS Kechris","year":"1995","unstructured":"Kechris, A.S.: Classical Descriptive Set Theory. Graduate Texts in Mathematics, vol. 156. Springer, New York (1995)"},{"key":"33_CR12","unstructured":"Korovina, M.V., Kudinov, O.V.: Basic principles of \n                      \n                        \n                      \n                      $$\\varSigma $$\n                      \n                        \n                          \u03a3\n                        \n                      \n                    -definability and abstract computability. Schriften zur Theoretischen Informatik, Bericht Nr 08\u201301, Univeversit\u00e4t Siegen (2008)"},{"key":"33_CR13","series-title":"Lecture Notes in Mathematics","doi-asserted-by":"publisher","first-page":"303","DOI":"10.1007\/BFb0103106","volume-title":"Higher Set Theory","author":"A Louveau","year":"1978","unstructured":"Louveau, A.: Recursivity and compactness. In: M\u00fcller, G.H., Scott, D.S. (eds.) Higher Set Theory. Lecture Notes in Mathematics, vol. 669, pp. 303\u2013337. Springer, Heidelberg (1978)"},{"issue":"2","key":"33_CR14","first-page":"363","volume":"260","author":"A Louveau","year":"1980","unstructured":"Louveau, A.: A separation theorem for \n                      \n                        \n                      \n                      $$\\varSigma ^1_1$$\n                      \n                        \n                          \n                            \u03a3\n                            1\n                            1\n                          \n                        \n                      \n                    -sets. Trans. Amer. Math. Soc. 260(2), 363\u2013378 (1980)","journal-title":"Trans. Amer. Math. Soc."},{"key":"33_CR15","doi-asserted-by":"publisher","DOI":"10.1090\/surv\/155","volume-title":"Descriptive Set Theory","author":"YN Moschovakis","year":"2009","unstructured":"Moschovakis, Y.N.: Descriptive Set Theory. North Holland, Amsterdam (2009)"},{"key":"33_CR16","unstructured":"Motto Ros, L., Schlicht, P., Selivanov, V.: Wadge-like reducibilities on arbitrary quasi-Polish spaces. Mathematical structures in computer science (to appear). \n                      arXiv:1304.1239\n                      \n                     [cs.LO]"},{"key":"33_CR17","volume-title":"Theory of Recursive Functions and Effective Computability","author":"H Rogers Jr","year":"1967","unstructured":"Rogers Jr., H.: Theory of Recursive Functions and Effective Computability. McGraw-Hill, New York (1967)"},{"key":"33_CR18","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1051\/ita:2003008","volume":"37","author":"VL Selivanov","year":"2003","unstructured":"Selivanov, V.L.: Wadge degrees of \n                      \n                        \n                      \n                      $$\\omega $$\n                      \n                        \n                          \u03c9\n                        \n                      \n                    -languages of deterministic Turing machines. Theor. Inf. Appl. 37, 67\u201383 (2003)","journal-title":"Theor. Inf. Appl."},{"key":"33_CR19","first-page":"44","volume":"15","author":"VL Selivanov","year":"2005","unstructured":"Selivanov, V.L.: Variations on the Wadge reducibility. Siberian Adv. Math. 15, 44\u201380 (2005)","journal-title":"Siberian Adv. Math."},{"issue":"3","key":"33_CR20","doi-asserted-by":"publisher","first-page":"258","DOI":"10.1016\/j.tcs.2006.07.053","volume":"365","author":"VL Selivanov","year":"2006","unstructured":"Selivanov, V.L.: Towards a descriptive set theory for domain-like structures. Theor. Comput. Sci. 365(3), 258\u2013282 (2006)","journal-title":"Theor. Comput. Sci."},{"key":"33_CR21","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1016\/j.entcs.2008.12.022","volume":"221","author":"VL Selivanov","year":"2008","unstructured":"Selivanov, V.L.: On the difference hierarchy in countably based \n                      \n                        \n                      \n                      $$T_0$$\n                      \n                        \n                          \n                            T\n                            0\n                          \n                        \n                      \n                    -spaces. Electron. Notes Theor. Comput. Sci. 221, 257\u2013269 (2008)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"33_CR22","volume-title":"Invariant Descriptive Set Theory","author":"S Gao","year":"2009","unstructured":"Gao, S.: Invariant Descriptive Set Theory. CRC Press, New York (2009)"},{"key":"33_CR23","doi-asserted-by":"publisher","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":["Lecture Notes in Computer Science","Evolving Computability"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-20028-6_33","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,30]],"date-time":"2019-05-30T07:06:28Z","timestamp":1559199988000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-20028-6_33"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319200279","9783319200286"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-20028-6_33","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015]]}}}