{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T05:00:56Z","timestamp":1725858056540},"publisher-location":"Cham","reference-count":14,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319401881"},{"type":"electronic","value":"9783319401898"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-40189-8_12","type":"book-chapter","created":{"date-parts":[[2016,6,13]],"date-time":"2016-06-13T15:34:07Z","timestamp":1465832047000},"page":"115-123","source":"Crossref","is-referenced-by-count":0,"title":["The Typical Constructible Object"],"prefix":"10.1007","author":[{"given":"Mathieu","family":"Hoyrup","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,6,14]]},"reference":[{"unstructured":"Brattka, V., Hendtlass, M., Kreuzer, A.P.: On the uniform computational content of the Baire category theorem (2015). CoRR arXiv:1510.01913","key":"12_CR1"},{"issue":"1","key":"12_CR2","doi-asserted-by":"crossref","first-page":"107","DOI":"10.14492\/hokmj\/1285766300","volume":"35","author":"D Bridges","year":"2006","unstructured":"Bridges, D., Ishihara, H., V\u00ee\u0103, L.: A new constructive version of Baire\u2019s theorem. Hokkaido Math. J. 35(1), 107\u2013118 (2006)","journal-title":"Hokkaido Math. J."},{"issue":"2","key":"12_CR3","doi-asserted-by":"crossref","first-page":"557","DOI":"10.2307\/2275219","volume":"58","author":"DK Brown","year":"1993","unstructured":"Brown, D.K., Simpson, S.G.: The Baire category theorem in weak subsystems of second-order arithmetic. J. Symb. Logic 58(2), 557\u2013578 (1993)","journal-title":"J. Symb. Logic"},{"issue":"2","key":"12_CR4","doi-asserted-by":"crossref","first-page":"236","DOI":"10.1073\/pnas.43.2.236","volume":"43","author":"M Richard","year":"1957","unstructured":"Richard, M.: Friedberg: two recursively enumerable sets of incomparable degrees of unsolvability (solution of Post\u2019s problem, 1944). Proc. Natl. Acad. Sci. U.S.A. 43(2), 236\u2013238 (1957)","journal-title":"Proc. Natl. Acad. Sci. U.S.A."},{"unstructured":"Hoyrup, M.: Irreversible computable functions. In: Mayr, E.W., Portier, N. (eds.) 31st International Symposium on Theoretical Aspects of Computer Science (STACS 2014), STACS 2014, 5\u20138 March 2014, Lyon, France, LIPIcs, vol. 25, pp. 362\u2013373. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik (2014)","key":"12_CR5"},{"doi-asserted-by":"crossref","unstructured":"Hoyrup, M.: Genericity of weakly computable objects. Theory of Computing Systems (2016, to appear)","key":"12_CR6","DOI":"10.1007\/s00224-016-9737-6"},{"unstructured":"Ingrassia, M.A.: P-genericity for recursively enumerable sets. Ph.D. thesis, University of Illinois at Urbana-Champaign (1981)","key":"12_CR7"},{"key":"12_CR8","doi-asserted-by":"crossref","first-page":"1072","DOI":"10.4153\/CJM-1977-105-5","volume":"29","author":"G Carl","year":"1977","unstructured":"Carl, G.: Jockush: simple proofs of some theorems on high degrees. Can. J. Math. 29, 1072\u20131080 (1977)","journal-title":"Can. J. Math."},{"issue":"2","key":"12_CR9","doi-asserted-by":"crossref","first-page":"363","DOI":"10.2307\/44153969","volume":"23","author":"SH Jones","year":"1999","unstructured":"Jones, S.H.: Applications of the Baire category theorem. Real Anal. Exch. 23(2), 363\u2013394 (1999)","journal-title":"Real Anal. Exch."},{"issue":"3","key":"12_CR10","doi-asserted-by":"crossref","first-page":"379","DOI":"10.2307\/1969708","volume":"59","author":"SC Kleene","year":"1954","unstructured":"Kleene, S.C., Emil, L.: Post: the upper semi-lattice of degrees of recursive unsolvability. Ann. Math. 59(3), 379\u2013407 (1954)","journal-title":"Ann. Math."},{"issue":"6","key":"12_CR11","doi-asserted-by":"crossref","first-page":"1100","DOI":"10.1137\/0219076","volume":"19","author":"H Jack","year":"1990","unstructured":"Jack, H.: Lutz: category and measure in complexity classes. SIAM J. Comput. 19(6), 1100\u20131131 (1990)","journal-title":"SIAM J. Comput."},{"issue":"1","key":"12_CR12","doi-asserted-by":"crossref","first-page":"62","DOI":"10.1002\/malq.200310127","volume":"51","author":"JH Lutz","year":"2005","unstructured":"Lutz, J.H.: Effective fractal dimensions. Mathe. Logic Q. 51(1), 62\u201372 (2005)","journal-title":"Mathe. Logic Q."},{"key":"12_CR13","first-page":"194","volume":"108","author":"AA Muchnik","year":"1956","unstructured":"Muchnik, A.A.: On the unsolvability of the problem of reducibility in the theory of algorithms. Dokl. Akad. Nauk SSSR 108, 194\u2013197 (1956)","journal-title":"Dokl. Akad. Nauk SSSR"},{"key":"12_CR14","doi-asserted-by":"crossref","DOI":"10.1093\/acprof:oso\/9780199230761.001.0001","volume-title":"Computability and Randomness. Oxford Logic Guides","author":"A Nies","year":"2009","unstructured":"Nies, A.: Computability and Randomness. Oxford Logic Guides. Oxford University Press, Oxford (2009)"}],"container-title":["Lecture Notes in Computer Science","Pursuit of the Universal"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-40189-8_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,9,22]],"date-time":"2020-09-22T05:29:04Z","timestamp":1600752544000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-40189-8_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319401881","9783319401898"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-40189-8_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}