{"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":1725858056022},"publisher-location":"Cham","reference-count":15,"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_10","type":"book-chapter","created":{"date-parts":[[2016,6,13]],"date-time":"2016-06-13T11:34:07Z","timestamp":1465817647000},"page":"99-104","source":"Crossref","is-referenced-by-count":0,"title":["A Computational Approach to the Borwein-Ditor Theorem"],"prefix":"10.1007","author":[{"given":"Aleksander","family":"Galicki","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andr\u00e9","family":"Nies","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,6,14]]},"reference":[{"key":"10_CR1","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\u010dera, A., Nies, A., Turetsky, D.: Coherent randomness tests and computing the K-trivial sets. J. Eur. Math. Soc. 18, 773\u2013812 (2016)","journal-title":"J. Eur. Math. Soc."},{"key":"10_CR2","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1142\/S0219061314500044","volume":"14","author":"L Bienvenu","year":"2014","unstructured":"Bienvenu, L., H\u00f6lzl, R., Miller, J., Nies, A.: Denjoy, Demuth, and Density. J. Math. Log. 14, 1\u201335 (2014). 1450004","journal-title":"J. Math. Log."},{"key":"10_CR3","volume-title":"Homotopy and the Kestelman-Borwein-Ditor Theorem","author":"N Bingham","year":"2007","unstructured":"Bingham, N., Ostaszewski, A.: Homotopy and the Kestelman-Borwein-Ditor Theorem. London School of Economics and Political Science, London (2007)"},{"issue":"4","key":"10_CR4","doi-asserted-by":"crossref","first-page":"497","DOI":"10.4153\/CMB-1978-084-5","volume":"21","author":"D Borwein","year":"1978","unstructured":"Borwein, D., Ditor, S.: Translates of sequences in sets of positive measure. Can. Math. Bull. 21(4), 497\u2013498 (1978)","journal-title":"Can. Math. Bull."},{"key":"10_CR5","doi-asserted-by":"crossref","unstructured":"Brattka, V., Miller, J., Nies, A.: Randomness and differentiability. Trans. AMS 368, 581\u2013605 (2016). arXiv version at http:\/\/arxiv.org\/abs\/1104.4465","DOI":"10.1090\/tran\/6484"},{"issue":"3","key":"10_CR6","doi-asserted-by":"crossref","first-page":"719","DOI":"10.4310\/MRL.2015.v22.n3.a5","volume":"22","author":"AR Day","year":"2015","unstructured":"Day, A.R., Miller, J.S.: Density, forcing and the covering problem. Math. Res. Lett. 22(3), 719\u2013727 (2015)","journal-title":"Math. Res. Lett."},{"key":"10_CR7","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/978-0-387-68441-3","volume-title":"Algorithmic Randomness and Complexity","author":"R Downey","year":"2010","unstructured":"Downey, R., Hirschfeldt, D.: Algorithmic Randomness and Complexity, pp. 1\u2013855. Springer, Berlin (2010)"},{"issue":"3","key":"10_CR8","doi-asserted-by":"crossref","first-page":"1044","DOI":"10.2178\/jsl\/1154698590","volume":"71","author":"R Downey","year":"2006","unstructured":"Downey, R., Nies, A., Weber, R., Yu, L.: Lowness and $$\\Pi ^0_2$$ \u03a0 2 0 nullsets. J. Symb. Log. 71(3), 1044\u20131052 (2006)","journal-title":"J. Symb. Log."},{"key":"10_CR9","volume-title":"Recurrence in Ergodic Theory and Combinatorial Number Theory","author":"H Furstenberg","year":"2014","unstructured":"Furstenberg, H.: Recurrence in Ergodic Theory and Combinatorial Number Theory. Princeton University Press, Princeton (2014)"},{"key":"10_CR10","unstructured":"Galicki, A., Turetsky, D.: Randomness and differentiability in higher dimensions. Notre Dame J. of Formal logic (2017, to appear). arXiv preprint arXiv:1410.8578"},{"issue":"2","key":"10_CR11","doi-asserted-by":"crossref","first-page":"130","DOI":"10.1112\/jlms\/s1-22.2.130","volume":"1","author":"H Kestelman","year":"1947","unstructured":"Kestelman, H.: The convergent sequences belonging to a set. J. London Math. Soc. 1(2), 130\u2013136 (1947)","journal-title":"J. London Math. Soc."},{"key":"10_CR12","first-page":"25","volume":"1","author":"H Lebesgue","year":"1909","unstructured":"Lebesgue, H.: Sur les int\u00e9grales singuli\u00e8res. Ann. Fac. Sci. Toulouse Sci. Math. Sci. Phys. (3) 1, 25\u2013117 (1909)","journal-title":"Ann. Fac. Sci. Toulouse Sci. Math. Sci. Phys. (3)"},{"key":"10_CR13","doi-asserted-by":"crossref","unstructured":"Miyabe, K., Nies, A., Zhang, J.: Using almost-everywhere theorems from analysis to study randomness. Bull. Symb. Log. (2016, to appear)","DOI":"10.1017\/bsl.2016.10"},{"key":"10_CR14","series-title":"Oxford Logic Guides","doi-asserted-by":"crossref","DOI":"10.1093\/acprof:oso\/9780199230761.001.0001","volume-title":"Computability and Randomness","author":"A Nies","year":"2009","unstructured":"Nies, A.: Computability and Randomness. Oxford Logic Guides, vol. 51. Oxford University Press, Oxford (2009). Paperback version 2011"},{"issue":"1","key":"10_CR15","doi-asserted-by":"crossref","first-page":"335","DOI":"10.1090\/S0002-9939-2013-11710-7","volume":"142","author":"N Pathak","year":"2014","unstructured":"Pathak, N., Rojas, C., Simpson, S.G.: Schnorr randomness and the Lebesgue differentiation theorem. Proc. Am. Math. Soc. 142(1), 335\u2013349 (2014)","journal-title":"Proc. Am. Math. Soc."}],"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_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,24]],"date-time":"2017-06-24T12:17:30Z","timestamp":1498306650000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-40189-8_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319401881","9783319401898"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-40189-8_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}