{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T17:12:19Z","timestamp":1760202739819},"reference-count":24,"publisher":"Springer Science and Business Media LLC","issue":"7","license":[{"start":{"date-parts":[[2017,11,25]],"date-time":"2017-11-25T00:00:00Z","timestamp":1511568000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"name":"John Templeton Foundation (US)","award":["48003"],"award-info":[{"award-number":["48003"]}]},{"name":"National Security Agency (US)","award":["H98230-16-1-0310"],"award-info":[{"award-number":["H98230-16-1-0310"]}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Theory Comput Syst"],"published-print":{"date-parts":[[2018,10]]},"DOI":"10.1007\/s00224-017-9824-3","type":"journal-article","created":{"date-parts":[[2017,11,24]],"date-time":"2017-11-24T23:04:47Z","timestamp":1511564687000},"page":"1637-1671","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["The Random Members of a \n\n                    \n                        \n                            \n                                \u03a0\n                            \n                            \n                                1\n                            \n                            \n                                0\n                            \n                        \n                    \n                \n${\\Pi }_{1}^{0}$\n             Class"],"prefix":"10.1007","volume":"62","author":[{"given":"Douglas","family":"Cenzer","sequence":"first","affiliation":[]},{"given":"Christopher P.","family":"Porter","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,11,25]]},"reference":[{"issue":"2","key":"9824_CR1","doi-asserted-by":"crossref","first-page":"359","DOI":"10.1017\/jsl.2014.76","volume":"80","author":"LM Axon","year":"2015","unstructured":"Axon, L.M.: Martin-L\u00f6f randomness in spaces of closed sets. J. Symb. Log. 80(2), 359\u2013383 (2015)","journal-title":"J. Symb. Log."},{"key":"9824_CR2","doi-asserted-by":"crossref","first-page":"1041","DOI":"10.1093\/logcom\/exm033","volume":"17","author":"G Barmpalias","year":"2007","unstructured":"Barmpalias, G., Brodhead, P., Cenzer, D., Dashti, S., Weber, R.: Algorithmic randomness of closed sets. J. Log. Comput. 17, 1041\u20131062 (2007)","journal-title":"J. Log. Comput."},{"key":"9824_CR3","doi-asserted-by":"crossref","first-page":"533","DOI":"10.1007\/s00153-007-0060-4","volume":"46","author":"G Barmpalias","year":"2008","unstructured":"Barmpalias, G., Brodhead, P., Cenzer, D., Remmel, J.B., Weber, R.: Algorithmic randomness of continuous functions. Arch. Math. Log. 46, 533\u2013546 (2008)","journal-title":"Arch. Math. Log."},{"issue":"4","key":"9824_CR4","doi-asserted-by":"crossref","first-page":"773","DOI":"10.4171\/JEMS\/602","volume":"18","author":"L Bienvenu","year":"2016","unstructured":"Bienvenu, L., Greenberg, N., Ku\u010bera, A., Nies, A., Turetsky, D.: Coherent randomness tests and computing the K-trivial sets. J. Eur. Math. Soc. 18(4), 773\u2013812 (2016)","journal-title":"J. Eur. Math. Soc."},{"issue":"1","key":"9824_CR5","doi-asserted-by":"crossref","first-page":"1450004","DOI":"10.1142\/S0219061314500044","volume":"14","author":"L Bienvenu","year":"2014","unstructured":"Bienvenu, L., H\u00f6lzl, R., Miller, J.S., Nies, A.: Denjoy, Demuth and density. J. Math. Log. 14(1), 1450004 (2014). 35","journal-title":"J. Math. Log."},{"key":"9824_CR6","doi-asserted-by":"crossref","first-page":"249","DOI":"10.1017\/bsl.2016.9","volume":"22","author":"L Bienvenu","year":"2016","unstructured":"Bienvenu, L., Porter, C.P.: Deep \n\n                            \n                                \n                                    \n                                        \u03a0\n                                    \n                                    \n                                        1\n                                    \n                                    \n                                        0\n                                    \n                                \n                            \n                        \n${\\Pi }_{1}^{0}$\n                     classees. Bull. Symb. Log. 22, 249\u2013286 (2016)","journal-title":"Bull. Symb. Log."},{"issue":"4","key":"9824_CR7","doi-asserted-by":"crossref","first-page":"1341","DOI":"10.2178\/jsl\/1230396923","volume":"73","author":"S Binns","year":"2008","unstructured":"Binns, S.: \n\n                            \n                                \n                                    \n                                        \u03a0\n                                    \n                                    \n                                        1\n                                    \n                                    \n                                        0\n                                    \n                                \n                            \n                        \n${\\Pi }_{1}^{0}$\n                     classes with complex elements. J. Symb. Log. 73(4), 1341\u20131353 (2008)","journal-title":"J. Symb. Log."},{"key":"9824_CR8","unstructured":"Cenzer, D., Remmel, J.B.: Effectively closed sets. To Appear"},{"key":"9824_CR9","doi-asserted-by":"crossref","first-page":"629","DOI":"10.1007\/s00153-007-0058-y","volume":"45","author":"D Cenzer","year":"2008","unstructured":"Cenzer, D., Hinman, P.G.: Degrees of difficulty of generalized r.e. separating classes. Arch. Math. Log. 45, 629\u2013647 (2008)","journal-title":"Arch. Math. Log."},{"key":"9824_CR10","doi-asserted-by":"crossref","first-page":"623","DOI":"10.1016\/S0049-237X(98)80046-3","volume":"139","author":"D Cenzer","year":"1998","unstructured":"Cenzer, D., Remmel, J.B.: \n\n                            \n                                \n                                    \n                                        \u03c0\n                                    \n                                    \n                                        1\n                                    \n                                    \n                                        0\n                                    \n                                \n                            \n                        \n${\\Pi }_{1}^{0}$\n                     classes in mathematics. Studies in Logic and the Foundations of Mathematics 139, 623\u2013821 (1998)","journal-title":"Studies in Logic and the Foundations of Mathematics"},{"key":"9824_CR11","first-page":"25","volume":"7","author":"Q Culver","year":"2015","unstructured":"Culver, Q., Porter, C.P.: The interplay of classes of algorithmically random objects. J. Log. Anal. 7, 25 pp. (2015)","journal-title":"J. Log. Anal."},{"issue":"7","key":"9824_CR12","doi-asserted-by":"crossref","first-page":"3575","DOI":"10.1090\/S0002-9947-2013-05682-6","volume":"365","author":"AR Day","year":"2013","unstructured":"Day, A.R., Miller, J.S.: Randomness for non-computable measures. Trans. Amer. Math. Soc. 365(7), 3575\u20133591 (2013)","journal-title":"Trans. Amer. Math. Soc."},{"key":"9824_CR13","doi-asserted-by":"crossref","first-page":"519","DOI":"10.1016\/j.apal.2011.06.010","volume":"163","author":"D Diamondstone","year":"2012","unstructured":"Diamondstone, D., Kjos-Hanssen, B.: Martin-L\u00f6f randomness and galton-watson processes. Ann. Pure Appl. Logic 163, 519\u2013529 (2012)","journal-title":"Ann. Pure Appl. Logic"},{"key":"9824_CR14","doi-asserted-by":"crossref","unstructured":"Diamondstone, D., Kjos-Hanssen, B.: Members of random closed sets. In: Conference on Computability in Europe, pp. 144\u2013153. Springer (2009)","DOI":"10.1007\/978-3-642-03073-4_16"},{"key":"9824_CR15","unstructured":"Kautz, S.M.: Degrees of Random Sets. PhD thesis, Cornell University (1991)"},{"issue":"1","key":"9824_CR16","doi-asserted-by":"crossref","first-page":"80","DOI":"10.1017\/jsl.2015.66","volume":"81","author":"M Khan","year":"2016","unstructured":"Khan, M.: Lebesgue density and \n\n                            \n                                \n                                    \n                                        \u220f\n                                    \n                                    \n                                        1\n                                    \n                                    \n                                        0\n                                    \n                                \n                            \n                        \n${\\prod _{1}^{0}}$\n                     classes. J. Symb. Log. 81(1), 80\u201395 (2016)","journal-title":"J. Symb. Log."},{"key":"9824_CR17","doi-asserted-by":"crossref","unstructured":"Khoussainov, B.: A quest for algorithmically random infinite structures. In: Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM\/IEEE Symposium on Logic in Computer Science (LICS), no. 56, vol. 9. ACM, New York (2014)","DOI":"10.1145\/2603088.2603114"},{"key":"9824_CR18","doi-asserted-by":"crossref","unstructured":"Khoussainov, B.: A quest for algorithmically random infinite structures, II. In: Logical Foundations of Computer Science, volume 9537 of Lecture Notes in Comput. Sci., pp. 159\u2013173. Springer, [Cham] (2016)","DOI":"10.1007\/978-3-319-27683-0_12"},{"key":"9824_CR19","unstructured":"Kurtz, S.: Randomness Genericity in the Degrees of Unsolvability. Ph.D. Thesis, University of Illinois at Urbana (1981)"},{"key":"9824_CR20","first-page":"85","volume":"25","author":"L Levin","year":"1970","unstructured":"Levin, L., Zvonkin, A.K.: The complexity of finite objects and the development of the concepts of information and randomness of means of the theory of algorithms. Uspekhi Mat. Nauk. 25, 85\u2013127 (1970)","journal-title":"Uspekhi Mat. Nauk."},{"key":"9824_CR21","doi-asserted-by":"crossref","first-page":"602","DOI":"10.1016\/S0019-9958(66)80018-9","volume":"9","author":"P Martin-Lof","year":"1966","unstructured":"Martin-Lof, P.: The definition of random sequences. Inf. Control 9, 602\u2013619 (1966)","journal-title":"Inf. Control"},{"key":"9824_CR22","doi-asserted-by":"crossref","DOI":"10.1093\/acprof:oso\/9780199230761.001.0001","volume-title":"Computability and Randomness, volume 51 of Oxford Logic Guides","author":"A Nies","year":"2009","unstructured":"Nies, A.: Computability and Randomness, volume 51 of Oxford Logic Guides. Oxford University Press, Oxford (2009)"},{"key":"9824_CR23","unstructured":"Shen, A.: One more definition of random sequence with respect to computable measure. In: First World Congress of the Bernoulli Society on Math. Statistics and Probability theory, Tashkent (1986)"},{"key":"9824_CR24","unstructured":"Van Lambalgen, M.: Random Sequences. PhD thesis, University of Amsterdam (1987)"}],"container-title":["Theory of Computing Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00224-017-9824-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00224-017-9824-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00224-017-9824-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,7,24]],"date-time":"2018-07-24T01:26:03Z","timestamp":1532395563000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00224-017-9824-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,11,25]]},"references-count":24,"journal-issue":{"issue":"7","published-print":{"date-parts":[[2018,10]]}},"alternative-id":["9824"],"URL":"https:\/\/doi.org\/10.1007\/s00224-017-9824-3","relation":{},"ISSN":["1432-4350","1433-0490"],"issn-type":[{"value":"1432-4350","type":"print"},{"value":"1433-0490","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,11,25]]}}}