{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,8]],"date-time":"2026-03-08T21:47:28Z","timestamp":1773006448069,"version":"3.50.1"},"publisher-location":"Cham","reference-count":14,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030514655","type":"print"},{"value":"9783030514662","type":"electronic"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020]]},"DOI":"10.1007\/978-3-030-51466-2_14","type":"book-chapter","created":{"date-parts":[[2020,6,23]],"date-time":"2020-06-23T13:03:46Z","timestamp":1592917426000},"page":"163-174","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Ackermannian Goodstein Sequences of Intermediate Growth"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-8604-4183","authenticated-orcid":false,"given":"David","family":"Fern\u00e1ndez-Duque","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5561-5323","authenticated-orcid":false,"given":"Andreas","family":"Weiermann","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2020,6,24]]},"reference":[{"key":"14_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-30870-3_1","volume-title":"How the World Computes","author":"B Afshari","year":"2012","unstructured":"Afshari, B., Rathjen, M.: Ordinal analysis and the infinite Ramsey theorem. In: Cooper, S.B., Dawar, A., L\u00f6we, B. (eds.) CiE 2012. LNCS, vol. 7318, pp. 1\u201310. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-30870-3_1"},{"key":"14_CR2","doi-asserted-by":"publisher","unstructured":"Arai, T., Fern\u00e1ndez-Duque, D., Wainer, S., Weiermann, A.: Predicatively unprovable termination of the Ackermannian Goodstein process. In: Proceedings of the AMS (2019). https:\/\/doi.org\/10.1090\/proc\/14813","DOI":"10.1090\/proc\/14813"},{"key":"14_CR3","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1002\/malq.19940400212","volume":"40","author":"E Cichon","year":"1994","unstructured":"Cichon, E., Buchholz, W., Weiermann, A.: A uniform approach to fundamental sequences and hierarchies. Math. Logic Q. 40, 273\u2013286 (1994)","journal-title":"Math. Logic Q."},{"key":"14_CR4","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1007\/BF01700692","volume":"38","author":"K G\u00f6del","year":"1931","unstructured":"G\u00f6del, K.: \u00dcber Formal Unentscheidbare S\u00e4tze der Principia Mathematica und Verwandter Systeme. I. Monatshefte f\u00fcr Mathematik und Physik 38, 173\u2013198 (1931). https:\/\/doi.org\/10.1007\/BF01700692","journal-title":"I. Monatshefte f\u00fcr Mathematik und Physik"},{"issue":"2","key":"14_CR5","doi-asserted-by":"publisher","first-page":"33","DOI":"10.2307\/2268019","volume":"9","author":"R Goodstein","year":"1944","unstructured":"Goodstein, R.: On the restricted ordinal theorem. J. Symb. Logic 9(2), 33\u201341 (1944)","journal-title":"J. Symb. Logic"},{"issue":"4","key":"14_CR6","doi-asserted-by":"publisher","first-page":"123","DOI":"10.2307\/2266486","volume":"12","author":"R Goodstein","year":"1947","unstructured":"Goodstein, R.: Transfinite ordinals in recursive number theory. J. Symb. Logic 12(4), 123\u2013129 (1947)","journal-title":"J. Symb. Logic"},{"issue":"2","key":"14_CR7","doi-asserted-by":"publisher","first-page":"418","DOI":"10.1090\/S0002-9904-1969-12202-0","volume":"75","author":"RL Graham","year":"1969","unstructured":"Graham, R.L., Rothschild, B.L.: Ramsey\u2019s theorem for $$n$$-dimensional arrays. Bull. Am. Math. Soc. 75(2), 418\u2013422 (1969)","journal-title":"Bull. Am. Math. Soc."},{"issue":"4","key":"14_CR8","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1112\/blms\/14.4.285","volume":"14","author":"L Kirby","year":"1982","unstructured":"Kirby, L., Paris, J.: Accessible independence results for Peano arithmetic. Bull. Lond. Math. Soc. 14(4), 285\u2013293 (1982)","journal-title":"Bull. Lond. Math. Soc."},{"issue":"2","key":"14_CR9","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1007\/s00153-009-0170-2","volume":"49","author":"G Leigh","year":"2010","unstructured":"Leigh, G., Rathjen, M.: An ordinal analysis for theories of self-referential truth. Arch. Math. Log. 49(2), 213\u2013247 (2010). https:\/\/doi.org\/10.1007\/s00153-009-0170-2","journal-title":"Arch. Math. Log."},{"key":"14_CR10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-69319-2","volume-title":"Proof Theory, The First Step into Impredicativity","author":"W Pohlers","year":"2009","unstructured":"Pohlers, W.: Proof Theory, The First Step into Impredicativity. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-540-69319-2"},{"issue":"1","key":"14_CR11","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1007\/BF02007256","volume":"18","author":"D Schmidt","year":"1977","unstructured":"Schmidt, D.: Built-up systems of fundamental sequences and hierarchies of number-theoretic functions. Arch. Math. Log. 18(1), 47\u201353 (1977)","journal-title":"Arch. Math. Log."},{"key":"14_CR12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-66473-1","volume-title":"Proof Theory","author":"K Sch\u00fctte","year":"1977","unstructured":"Sch\u00fctte, K.: Proof Theory. Springer, Heidelberg (1977). https:\/\/doi.org\/10.1007\/978-3-642-66473-1"},{"key":"14_CR13","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511581007","volume-title":"Subsystems of Second Order Arithmetic","author":"S Simpson","year":"2009","unstructured":"Simpson, S.: Subsystems of Second Order Arithmetic. Cambridge University Press, New York (2009)"},{"key":"14_CR14","unstructured":"Weiermann, A.: Ackermannian Goodstein principles for first order Peano arithmetic. In: Sets and computations. Lecture Notes Series, Institute for Mathematical Sciences, National University of Singapore, vol. 33, pp. 157\u2013181. World Scientific, Hackensack (2018). English summary"}],"container-title":["Lecture Notes in Computer Science","Beyond the Horizon of Computability"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-51466-2_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,3,9]],"date-time":"2021-03-09T18:10:31Z","timestamp":1615313431000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-51466-2_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030514655","9783030514662"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-51466-2_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"24 June 2020","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":"Fisciano","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Italy","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2020","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"29 June 2020","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"3 July 2020","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"cie2020","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/cie2020.wordpress.com\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"72","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"28","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"5","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"39% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"7","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"The conference was held virtually due to the coronavirus pandemic.","order":10,"name":"additional_info_on_review_process","label":"Additional Info on Review Process","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}