{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,19]],"date-time":"2026-07-19T18:02:27Z","timestamp":1784484147380,"version":"3.55.0"},"publisher-location":"Cham","reference-count":15,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783032313478","type":"print"},{"value":"9783032313485","type":"electronic"}],"license":[{"start":{"date-parts":[[2026,7,20]],"date-time":"2026-07-20T00:00:00Z","timestamp":1784505600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2026,7,20]],"date-time":"2026-07-20T00:00:00Z","timestamp":1784505600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2027]]},"DOI":"10.1007\/978-3-032-31348-5_23","type":"book-chapter","created":{"date-parts":[[2026,7,19]],"date-time":"2026-07-19T17:30:04Z","timestamp":1784482204000},"page":"350-357","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Tadaki Numbers and\u00a0Speedability"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0009-0008-9063-028X","authenticated-orcid":false,"given":"Philip","family":"Janicki","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2026,7,20]]},"reference":[{"key":"23_CR1","unstructured":"Barmpalias, G.: Personal communication (2023)"},{"key":"23_CR2","doi-asserted-by":"publisher","first-page":"349","DOI":"10.1016\/j.jcss.2017.06.002","volume":"89","author":"G Barmpalias","year":"2017","unstructured":"Barmpalias, G., Lewis-Pye, A.: Differences of halting probabilities. J. Comput. Syst. Sci. 89, 349\u2013360 (2017)","journal-title":"J. Comput. Syst. Sci."},{"key":"23_CR3","doi-asserted-by":"crossref","unstructured":"Calude, C.S., Hay, N.J., Stephan, F.: Representation of left-computable $$\\varepsilon $$-random reals. J. Comput. Syst. Sci. 77(4), 812\u2013819 (2011). JCSS IEEE AINA 2009","DOI":"10.1016\/j.jcss.2010.08.001"},{"key":"23_CR4","doi-asserted-by":"crossref","unstructured":"Calude, C.S., Hertling, P.H., Khoussainov, B., Wang, Y.: Recursively enumerable reals and Chaitin $$\\Omega $$ numbers. Theor. Comput. Sci. 255, 125\u2013149 (2001)","DOI":"10.1016\/S0304-3975(99)00159-0"},{"issue":"3","key":"23_CR5","doi-asserted-by":"publisher","first-page":"329","DOI":"10.1145\/321892.321894","volume":"22","author":"GJ Chaitin","year":"1975","unstructured":"Chaitin, G.J.: A theory of program size formally identical to information theory. J. ACM 22(3), 329\u2013340 (1975)","journal-title":"J. ACM"},{"issue":"2","key":"23_CR6","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1016\/0196-8858(87)90010-8","volume":"8","author":"GJ Chaitin","year":"1987","unstructured":"Chaitin, G.J.: Incompleteness theorems for random reals. Adv. Appl. Math. 8(2), 119\u2013146 (1987)","journal-title":"Adv. Appl. Math."},{"key":"23_CR7","unstructured":"H\u00f6lzl, R., Janicki, P.: Benign approximations and non-speedability, 2023. Available at https:\/\/arxiv.org\/abs\/2303.11986"},{"key":"23_CR8","unstructured":"H\u00f6lzl, R., \u00a0Janicki, P., \u00a0Merkle, W., \u00a0Stephan, F.: Randomness versus superspeedability. In: \u00a0Kr\u00e1lovi\u010d, R., \u00a0Ku\u010dera, A. (eds)., 49th International Symposium on Mathematical Foundations of Computer Science (MFCS 2024), volume 306 of Leibniz International Proceedings in Informatics (LIPIcs), pp. 62:1\u201362:14, Dagstuhl, Germany, 2024. Schloss Dagstuhl \u2013 Leibniz-Zentrum f\u00fcr Informatik"},{"issue":"1","key":"23_CR9","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1137\/S0097539799357441","volume":"31","author":"A Kucera","year":"2001","unstructured":"Kucera, A., Slaman, T.: Randomness and recursive enumerability. SIAM J. Comput. 31(1), 199\u2013211 (2001)","journal-title":"SIAM J. Comput."},{"issue":"6","key":"23_CR10","doi-asserted-by":"publisher","first-page":"602","DOI":"10.1016\/S0019-9958(66)80018-9","volume":"9","author":"P Martin-L\u00f6f","year":"1966","unstructured":"Martin-L\u00f6f, P.: The definition of random sequences. Inf. Control 9(6), 602\u2013619 (1966)","journal-title":"Inf. Control"},{"key":"23_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"303","DOI":"10.1007\/978-3-030-50026-9_22","volume-title":"Computer Science \u2013 Theory and Applications","author":"W Merkle","year":"2020","unstructured":"Merkle, W., Titov, I.: Speedable Left-c.e. Numbers. In: Fernau, H. (ed.) CSR 2020. LNCS, vol. 12159, pp. 303\u2013313. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-50026-9_22"},{"key":"23_CR12","doi-asserted-by":"crossref","unstructured":"Reimann, J., \u00a0Stephan, F.: Hierarchies of randomness tests. In: Mathematical Logic in Asia: Proceedings of the Ninth Asian Logic Conference, Novosibirsk, Russia 16\u201319 August 2005, pp. 215\u2013232, 2006","DOI":"10.1142\/9789812772749_0016"},{"key":"23_CR13","unstructured":"Solovay, R.M.: Draft of a paper (or series of papers) on Chaitin\u2019s work (1975). Unpublished notes,"},{"issue":"1","key":"23_CR14","doi-asserted-by":"publisher","first-page":"219","DOI":"10.14492\/hokmj\/1350911778","volume":"31","author":"K Tadaki","year":"2002","unstructured":"Tadaki, K.: A generalization of Chaitin\u2019s halting probability $$\\Omega $$ and halting self-similar sets. Hokkaido Math. J. 31(1), 219\u2013253 (2002)","journal-title":"Hokkaido Math. J."},{"key":"23_CR15","doi-asserted-by":"publisher","unstructured":"Tadaki, K.: Partial randomness and dimension of recursively enumerable reals. In: Kr\u00e1lovi\u010d, R., Niwi\u0144ski, D. (eds.) Mathematical Foundations of Computer Science 2009. MFCS 2009. LNCS, vol. 5734, pp. 687\u2013699. Springer, Berlin, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-03816-7_58","DOI":"10.1007\/978-3-642-03816-7_58"}],"container-title":["Lecture Notes in Computer Science","Timeless Machines: Computability Across Eras"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-31348-5_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,7,19]],"date-time":"2026-07-19T17:30:05Z","timestamp":1784482205000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-31348-5_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,7,20]]},"ISBN":["9783032313478","9783032313485"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-31348-5_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026,7,20]]},"assertion":[{"value":"20 July 2026","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"CiE","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Conference on Computability in Europe","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Trier","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Germany","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2026","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"27 July 2026","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"31 July 2026","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"cie2026","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}