{"id":"https://openalex.org/W4307642264","doi":"https://doi.org/10.1093/logcom/exac067","title":"Arithmetical and Hyperarithmetical Worm Battles","display_name":"Arithmetical and Hyperarithmetical Worm Battles","publication_year":2022,"publication_date":"2022-10-27","ids":{"openalex":"https://openalex.org/W4307642264","doi":"https://doi.org/10.1093/logcom/exac067"},"language":"en","primary_location":{"id":"doi:10.1093/logcom/exac067","is_oa":false,"landing_page_url":"https://doi.org/10.1093/logcom/exac067","pdf_url":null,"source":{"id":"https://openalex.org/S47057106","display_name":"Journal of Logic and Computation","issn_l":"0955-792X","issn":["0955-792X","1465-363X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311648","host_organization_name":"Oxford University Press","host_organization_lineage":["https://openalex.org/P4310311648","https://openalex.org/P4310311647"],"host_organization_lineage_names":["Oxford University Press","University of Oxford"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Logic and Computation","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://biblio.ugent.be/publication/01GNQJDHY3JYHF6PE3PEQZBNE8","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5080309379","display_name":"David Fern\u00e1ndez\u2013Duque","orcid":"https://orcid.org/0000-0001-8604-4183"},"institutions":[{"id":"https://openalex.org/I12607205","display_name":"University College Ghent","ror":"https://ror.org/00rs45z86","country_code":"BE","type":"education","lineage":["https://openalex.org/I12607205"]},{"id":"https://openalex.org/I4210155092","display_name":"Czech Academy of Sciences, Institute of Computer Science","ror":"https://ror.org/0496n6574","country_code":"CZ","type":"facility","lineage":["https://openalex.org/I202391551","https://openalex.org/I4210155092"]},{"id":"https://openalex.org/I32597200","display_name":"Ghent University","ror":"https://ror.org/00cv9y106","country_code":"BE","type":"education","lineage":["https://openalex.org/I32597200"]},{"id":"https://openalex.org/I202391551","display_name":"Czech Academy of Sciences","ror":"https://ror.org/053avzc18","country_code":"CZ","type":"funder","lineage":["https://openalex.org/I202391551"]}],"countries":["BE","CZ"],"is_corresponding":false,"raw_author_name":"David Fern\u00c1ndez-Duque","raw_affiliation_strings":["Department of Mathematics WE16 , Ghent University, 9000 Ghent, Belgium, Institute of Computer Science, Czech Academy of Sciences, 182 07 Prague, Czech Republic","Department of Mathematics WE16, Ghent University, 9000 Ghent, Belgium, Institute of Computer Science, Czech Academy of Sciences, 182 07\r\nPrague, Czech Republic"],"affiliations":[{"raw_affiliation_string":"Department of Mathematics WE16 , Ghent University, 9000 Ghent, Belgium, Institute of Computer Science, Czech Academy of Sciences, 182 07 Prague, Czech Republic","institution_ids":["https://openalex.org/I12607205"]},{"raw_affiliation_string":"Department of Mathematics WE16, Ghent University, 9000 Ghent, Belgium, Institute of Computer Science, Czech Academy of Sciences, 182 07\r\nPrague, Czech Republic","institution_ids":["https://openalex.org/I32597200","https://openalex.org/I4210155092","https://openalex.org/I202391551"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5086500294","display_name":"Joost J. Joosten","orcid":"https://orcid.org/0000-0001-9590-5045"},"institutions":[{"id":"https://openalex.org/I71999127","display_name":"Universitat de Barcelona","ror":"https://ror.org/021018s57","country_code":"ES","type":"education","lineage":["https://openalex.org/I71999127"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Joost J Joosten","raw_affiliation_strings":["Department of Philosophy , University of Barcelona, Catalonia, 08001 Barcelona, Spain"],"affiliations":[{"raw_affiliation_string":"Department of Philosophy , University of Barcelona, Catalonia, 08001 Barcelona, Spain","institution_ids":["https://openalex.org/I71999127"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5064019679","display_name":"Fedor Pakhomov","orcid":"https://orcid.org/0000-0002-9629-9259"},"institutions":[{"id":"https://openalex.org/I32597200","display_name":"Ghent University","ror":"https://ror.org/00cv9y106","country_code":"BE","type":"education","lineage":["https://openalex.org/I32597200"]}],"countries":["BE"],"is_corresponding":false,"raw_author_name":"Fedor Pakhomov","raw_affiliation_strings":["Department of Mathematics WE16 , Ghent University, 9000 Ghent, Belgium"],"affiliations":[{"raw_affiliation_string":"Department of Mathematics WE16 , Ghent University, 9000 Ghent, Belgium","institution_ids":["https://openalex.org/I32597200"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5038123510","display_name":"Konstantinos Papafilippou","orcid":"https://orcid.org/0000-0002-2831-0575"},"institutions":[{"id":"https://openalex.org/I32597200","display_name":"Ghent University","ror":"https://ror.org/00cv9y106","country_code":"BE","type":"education","lineage":["https://openalex.org/I32597200"]}],"countries":["BE"],"is_corresponding":true,"raw_author_name":"Konstantinos Papafilippou","raw_affiliation_strings":["Department of Mathematics WE16 , Ghent University, 9000 Ghent, Belgium"],"affiliations":[{"raw_affiliation_string":"Department of Mathematics WE16 , Ghent University, 9000 Ghent, Belgium","institution_ids":["https://openalex.org/I32597200"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5056618682","display_name":"Andreas Weiermann","orcid":"https://orcid.org/0000-0002-5561-5323"},"institutions":[{"id":"https://openalex.org/I32597200","display_name":"Ghent University","ror":"https://ror.org/00cv9y106","country_code":"BE","type":"education","lineage":["https://openalex.org/I32597200"]}],"countries":["BE"],"is_corresponding":false,"raw_author_name":"Andreas Weiermann","raw_affiliation_strings":["Department of Mathematics WE16 , Ghent University, 9000 Ghent, Belgium"],"affiliations":[{"raw_affiliation_string":"Department of Mathematics WE16 , Ghent University, 9000 Ghent, Belgium","institution_ids":["https://openalex.org/I32597200"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5038123510"],"corresponding_institution_ids":["https://openalex.org/I32597200"],"apc_list":{"value":4151,"currency":"USD","value_usd":4151},"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.14778344,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"32","issue":"8","first_page":"1558","last_page":"1584"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11567","display_name":"semigroups and automata theory","score":0.9977999925613403,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9973000288009644,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/transfinite-number","display_name":"Transfinite number","score":0.907719612121582},{"id":"https://openalex.org/keywords/arithmetic-function","display_name":"Arithmetic function","score":0.7502346038818359},{"id":"https://openalex.org/keywords/peano-axioms","display_name":"Peano axioms","score":0.7500392198562622},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.6993422508239746},{"id":"https://openalex.org/keywords/second-order-arithmetic","display_name":"Second-order arithmetic","score":0.6367030143737793},{"id":"https://openalex.org/keywords/natural-number","display_name":"Natural number","score":0.6093157529830933},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.5256139636039734},{"id":"https://openalex.org/keywords/arithmetic","display_name":"Arithmetic","score":0.44935017824172974},{"id":"https://openalex.org/keywords/order","display_name":"Order (exchange)","score":0.43965548276901245},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.41593825817108154}],"concepts":[{"id":"https://openalex.org/C147358099","wikidata":"https://www.wikidata.org/wiki/Q1069891","display_name":"Transfinite number","level":2,"score":0.907719612121582},{"id":"https://openalex.org/C112343008","wikidata":"https://www.wikidata.org/wiki/Q140744","display_name":"Arithmetic function","level":2,"score":0.7502346038818359},{"id":"https://openalex.org/C97489613","wikidata":"https://www.wikidata.org/wiki/Q842755","display_name":"Peano axioms","level":2,"score":0.7500392198562622},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6993422508239746},{"id":"https://openalex.org/C65148605","wikidata":"https://www.wikidata.org/wiki/Q7442973","display_name":"Second-order arithmetic","level":3,"score":0.6367030143737793},{"id":"https://openalex.org/C184264201","wikidata":"https://www.wikidata.org/wiki/Q21199","display_name":"Natural number","level":2,"score":0.6093157529830933},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.5256139636039734},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.44935017824172974},{"id":"https://openalex.org/C182306322","wikidata":"https://www.wikidata.org/wiki/Q1779371","display_name":"Order (exchange)","level":2,"score":0.43965548276901245},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.41593825817108154},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C10138342","wikidata":"https://www.wikidata.org/wiki/Q43015","display_name":"Finance","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1093/logcom/exac067","is_oa":false,"landing_page_url":"https://doi.org/10.1093/logcom/exac067","pdf_url":null,"source":{"id":"https://openalex.org/S47057106","display_name":"Journal of Logic and Computation","issn_l":"0955-792X","issn":["0955-792X","1465-363X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311648","host_organization_name":"Oxford University Press","host_organization_lineage":["https://openalex.org/P4310311648","https://openalex.org/P4310311647"],"host_organization_lineage_names":["Oxford University Press","University of Oxford"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Logic and Computation","raw_type":"journal-article"},{"id":"pmh:oai:archive.ugent.be:01GNQJDHY3JYHF6PE3PEQZBNE8","is_oa":true,"landing_page_url":"https://biblio.ugent.be/publication/01GNQJDHY3JYHF6PE3PEQZBNE8","pdf_url":null,"source":{"id":"https://openalex.org/S4306400478","display_name":"Ghent University Academic Bibliography (Ghent University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I32597200","host_organization_name":"Ghent University","host_organization_lineage":["https://openalex.org/I32597200"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ISSN: 1465-363X","raw_type":"info:eu-repo/semantics/publishedVersion"}],"best_oa_location":{"id":"pmh:oai:archive.ugent.be:01GNQJDHY3JYHF6PE3PEQZBNE8","is_oa":true,"landing_page_url":"https://biblio.ugent.be/publication/01GNQJDHY3JYHF6PE3PEQZBNE8","pdf_url":null,"source":{"id":"https://openalex.org/S4306400478","display_name":"Ghent University Academic Bibliography (Ghent University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I32597200","host_organization_name":"Ghent University","host_organization_lineage":["https://openalex.org/I32597200"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ISSN: 1465-363X","raw_type":"info:eu-repo/semantics/publishedVersion"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G8838410839","display_name":null,"funder_award_id":"PID2019-107667GB-I00","funder_id":"https://openalex.org/F4320322930","funder_display_name":"Ministerio de Ciencia e Innovaci\u00f3n"}],"funders":[{"id":"https://openalex.org/F4320322930","display_name":"Ministerio de Ciencia e Innovaci\u00f3n","ror":"https://ror.org/034900433"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":23,"referenced_works":["https://openalex.org/W144641616","https://openalex.org/W1587093213","https://openalex.org/W1628975265","https://openalex.org/W1989844562","https://openalex.org/W1994332324","https://openalex.org/W2008207340","https://openalex.org/W2016916627","https://openalex.org/W2034453867","https://openalex.org/W2041395883","https://openalex.org/W2058604356","https://openalex.org/W2076792546","https://openalex.org/W2143956643","https://openalex.org/W2487893106","https://openalex.org/W2963814436","https://openalex.org/W2963814935","https://openalex.org/W2963825272","https://openalex.org/W2964107161","https://openalex.org/W2970741650","https://openalex.org/W3097096044","https://openalex.org/W4226257708","https://openalex.org/W4291166496","https://openalex.org/W6603929590","https://openalex.org/W6691465300"],"related_works":["https://openalex.org/W4235932242","https://openalex.org/W2025460262","https://openalex.org/W1616114834","https://openalex.org/W1537958706","https://openalex.org/W4200573286","https://openalex.org/W4311117965","https://openalex.org/W3037940532","https://openalex.org/W1986380412","https://openalex.org/W4226435082","https://openalex.org/W2101785868"],"abstract_inverted_index":{"Abstract":[0],"Japaridze\u2019s":[1],"provability":[2,63],"logic":[3],"${\\operatorname":[4,53,69,80,96,110,116],"{GLP}}$":[5,81],"has":[6,15],"one":[7],"modality":[8],"$[n]$":[9],"for":[10,20,84,92],"each":[11],"natural":[12,48,76],"number":[13],"and":[14,30,57,87],"been":[16],"used":[17],"by":[18],"Beklemishev":[19,56],"a":[21,47],"proof":[22],"theoretic":[23],"analysis":[24,37],"of":[25,52,62,79,98,109,119],"Peano":[26],"arithmetic":[27],"(${\\operatorname":[28,44],"{PA}}$)":[29],"related":[31,112],"theories.":[32],"Among":[33],"other":[34],"benefits,":[35],"this":[36,85],"yields":[38,88],"the":[39,75,93,114,125],"so-called":[40],"Every":[41],"Worm":[42],"Dies":[43],"{EWD}}$)":[45],"principle,":[46],"combinatorial":[49,90],"statement":[50],"independent":[51,89],"{PA}}$.":[54],"Recently,":[55],"Pakhomov":[58],"have":[59],"studied":[60],"notions":[61],"corresponding":[64],"to":[65,113,123],"transfinite":[66,77],"modalities":[67],"in":[68],"{GLP}}$.":[70],"We":[71,104],"show":[72,128],"that":[73,129],"indeed":[74],"extension":[78],"is":[82],"sound":[83],"interpretation":[86],"principles":[91],"second-order":[94],"theory":[95],"{ACA}}$":[97],"arithmetical":[99],"comprehension":[100],"with":[101],"full":[102],"induction.":[103],"also":[105],"provide":[106],"restricted":[107],"versions":[108],"{EWD}}$":[111],"fragments":[115],"{I\\varSigma":[117],"}}_n$":[118],"PA.":[120],"In":[121],"order":[122],"prove":[124],"latter,":[126],"we":[127],"standard":[130],"Hardy":[131],"functions":[132],"majorize":[133],"their":[134],"variants":[135],"based":[136],"on":[137],"tree":[138],"ordinals.":[139]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}