{"id":"https://openalex.org/W3014513545","doi":"https://doi.org/10.46298/lmcs-18(3:6)2022","title":"Fusible numbers and Peano Arithmetic","display_name":"Fusible numbers and Peano Arithmetic","publication_year":2022,"publication_date":"2022-07-28","ids":{"openalex":"https://openalex.org/W3014513545","doi":"https://doi.org/10.46298/lmcs-18(3:6)2022","mag":"3014513545"},"language":"en","primary_location":{"id":"doi:10.46298/lmcs-18(3:6)2022","is_oa":true,"landing_page_url":"https://doi.org/10.46298/lmcs-18(3:6)2022","pdf_url":"https://lmcs.episciences.org/9850/pdf","source":{"id":"https://openalex.org/S114379355","display_name":"Logical Methods in Computer Science","issn_l":"1860-5974","issn":["1860-5974"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310313916","host_organization_name":"Logical Methods in Computer Science e.V.","host_organization_lineage":["https://openalex.org/P4310313916"],"host_organization_lineage_names":["Logical Methods in Computer Science e.V."],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logical Methods in Computer Science","raw_type":"journal-article"},"type":"article","indexed_in":["arxiv","crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://lmcs.episciences.org/9850/pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5042187195","display_name":"Jeff Erickson","orcid":"https://orcid.org/0000-0002-5253-2282"},"institutions":[{"id":"https://openalex.org/I2801919071","display_name":"University of Illinois System","ror":"https://ror.org/05e94g991","country_code":"US","type":"education","lineage":["https://openalex.org/I2801919071"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Jeff Erickson","raw_affiliation_strings":["University of Illinois"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Illinois","institution_ids":["https://openalex.org/I2801919071"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5084969549","display_name":"Gabriel Nivasch","orcid":"https://orcid.org/0000-0001-5960-4253"},"institutions":[{"id":"https://openalex.org/I52170813","display_name":"Ariel University","ror":"https://ror.org/03nz8qe97","country_code":"IL","type":"education","lineage":["https://openalex.org/I52170813"]}],"countries":["IL"],"is_corresponding":false,"raw_author_name":"Gabriel Nivasch","raw_affiliation_strings":["Ariel University, Israel"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Ariel University, Israel","institution_ids":["https://openalex.org/I52170813"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5043282426","display_name":"Junyan Xu","orcid":"https://orcid.org/0000-0002-3789-2319"},"institutions":[{"id":"https://openalex.org/I4210149717","display_name":"Center for Cancer Research","ror":"https://ror.org/05bjen692","country_code":"US","type":"facility","lineage":["https://openalex.org/I1299022934","https://openalex.org/I1299303238","https://openalex.org/I4210140884","https://openalex.org/I4210149717"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Junyan Xu","raw_affiliation_strings":["Cancer Data Science Laboratory, CCR, NCI, NIH"],"raw_orcid":"https://orcid.org/0000-0002-3789-2319","affiliations":[{"raw_affiliation_string":"Cancer Data Science Laboratory, CCR, NCI, NIH","institution_ids":["https://openalex.org/I4210149717"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.1327,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.39685444,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"Volume 18, Issue 3","issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9994999766349792,"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.9994999766349792,"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/T13720","display_name":"Benford\u2019s Law and Fraud Detection","score":0.992900013923645,"subfield":{"id":"https://openalex.org/subfields/2613","display_name":"Statistics and Probability"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11151","display_name":"Advanced Topology and Set Theory","score":0.9832000136375427,"subfield":{"id":"https://openalex.org/subfields/2608","display_name":"Geometry and Topology"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/fusible-alloy","display_name":"Fusible alloy","score":0.9475059509277344},{"id":"https://openalex.org/keywords/peano-axioms","display_name":"Peano axioms","score":0.760408341884613},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.6244485378265381},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.6195569038391113},{"id":"https://openalex.org/keywords/arithmetic","display_name":"Arithmetic","score":0.5185145139694214},{"id":"https://openalex.org/keywords/order","display_name":"Order (exchange)","score":0.4668332636356354},{"id":"https://openalex.org/keywords/real-number","display_name":"Real number","score":0.461870938539505},{"id":"https://openalex.org/keywords/interval","display_name":"Interval (graph theory)","score":0.4176824688911438},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.40677499771118164}],"concepts":[{"id":"https://openalex.org/C133074676","wikidata":"https://www.wikidata.org/wiki/Q428729","display_name":"Fusible alloy","level":2,"score":0.9475059509277344},{"id":"https://openalex.org/C97489613","wikidata":"https://www.wikidata.org/wiki/Q842755","display_name":"Peano axioms","level":2,"score":0.760408341884613},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6244485378265381},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.6195569038391113},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.5185145139694214},{"id":"https://openalex.org/C182306322","wikidata":"https://www.wikidata.org/wiki/Q1779371","display_name":"Order (exchange)","level":2,"score":0.4668332636356354},{"id":"https://openalex.org/C94020503","wikidata":"https://www.wikidata.org/wiki/Q12916","display_name":"Real number","level":2,"score":0.461870938539505},{"id":"https://openalex.org/C2778067643","wikidata":"https://www.wikidata.org/wiki/Q166507","display_name":"Interval (graph theory)","level":2,"score":0.4176824688911438},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.40677499771118164},{"id":"https://openalex.org/C192562407","wikidata":"https://www.wikidata.org/wiki/Q228736","display_name":"Materials science","level":0,"score":0.0},{"id":"https://openalex.org/C191897082","wikidata":"https://www.wikidata.org/wiki/Q11467","display_name":"Metallurgy","level":1,"score":0.0},{"id":"https://openalex.org/C10138342","wikidata":"https://www.wikidata.org/wiki/Q43015","display_name":"Finance","level":1,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.46298/lmcs-18(3:6)2022","is_oa":true,"landing_page_url":"https://doi.org/10.46298/lmcs-18(3:6)2022","pdf_url":"https://lmcs.episciences.org/9850/pdf","source":{"id":"https://openalex.org/S114379355","display_name":"Logical Methods in Computer Science","issn_l":"1860-5974","issn":["1860-5974"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310313916","host_organization_name":"Logical Methods in Computer Science e.V.","host_organization_lineage":["https://openalex.org/P4310313916"],"host_organization_lineage_names":["Logical Methods in Computer Science e.V."],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logical Methods in Computer Science","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:2003.14342","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2003.14342","pdf_url":"https://arxiv.org/pdf/2003.14342","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"pmh:oai:doaj.org/article:67304fdaacb54fd193cba6b6851be26e","is_oa":true,"landing_page_url":"https://doaj.org/article/67304fdaacb54fd193cba6b6851be26e","pdf_url":null,"source":{"id":"https://openalex.org/S4306401280","display_name":"DOAJ (DOAJ: Directory of Open Access Journals)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Logical Methods in Computer Science, Vol Volume 18, Issue 3 (2022)","raw_type":"article"}],"best_oa_location":{"id":"doi:10.46298/lmcs-18(3:6)2022","is_oa":true,"landing_page_url":"https://doi.org/10.46298/lmcs-18(3:6)2022","pdf_url":"https://lmcs.episciences.org/9850/pdf","source":{"id":"https://openalex.org/S114379355","display_name":"Logical Methods in Computer Science","issn_l":"1860-5974","issn":["1860-5974"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310313916","host_organization_name":"Logical Methods in Computer Science e.V.","host_organization_lineage":["https://openalex.org/P4310313916"],"host_organization_lineage_names":["Logical Methods in Computer Science e.V."],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logical Methods in Computer Science","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3014513545.pdf","grobid_xml":"https://content.openalex.org/works/W3014513545.grobid-xml"},"referenced_works_count":34,"referenced_works":["https://openalex.org/W6616102","https://openalex.org/W78146983","https://openalex.org/W1512582314","https://openalex.org/W1518391185","https://openalex.org/W1573775807","https://openalex.org/W1579247651","https://openalex.org/W1583325710","https://openalex.org/W1593067057","https://openalex.org/W1597834884","https://openalex.org/W1674402922","https://openalex.org/W1989505075","https://openalex.org/W1994073383","https://openalex.org/W2018765574","https://openalex.org/W2036673058","https://openalex.org/W2052953762","https://openalex.org/W2063421309","https://openalex.org/W2081739832","https://openalex.org/W2084179139","https://openalex.org/W2085335923","https://openalex.org/W2089195129","https://openalex.org/W2135756492","https://openalex.org/W2167003332","https://openalex.org/W2560908651","https://openalex.org/W2889014230","https://openalex.org/W2997081094","https://openalex.org/W3021845913","https://openalex.org/W3022666322","https://openalex.org/W4206658284","https://openalex.org/W4214546155","https://openalex.org/W4229690001","https://openalex.org/W4245863089","https://openalex.org/W4300655138","https://openalex.org/W6816294372","https://openalex.org/W6910655158"],"related_works":["https://openalex.org/W2376059029","https://openalex.org/W3144731838","https://openalex.org/W2389761344","https://openalex.org/W2347254500","https://openalex.org/W171744056","https://openalex.org/W1577881803","https://openalex.org/W3014442177","https://openalex.org/W2508096977","https://openalex.org/W4248023449","https://openalex.org/W4285138080"],"abstract_inverted_index":{"Inspired":[0],"by":[1,39],"a":[2,118,139],"mathematical":[3],"riddle":[4],"involving":[5],"fuses,":[6],"we":[7,53,86,102],"define":[8],"the":[9,24,33,40,56,59,63,75,83,98,129,148,168],"\"fusible":[10],"numbers\"":[11],"as":[12],"follows:":[13],"$0$":[14],"is":[15,27,46],"fusible,":[16],"and":[17],"whenever":[18],"$x,y$":[19],"are":[20],"fusible":[21,36,60,80,141],"with":[22,48],"$|y-x|<1$,":[23],"number":[25,135,142],"$(x+y+1)/2$":[26],"also":[28],"fusible.":[29],"We":[30],"prove":[31,54,128,167],"that":[32,55,107],"set":[34],"of":[35,58,117],"numbers,":[37],"ordered":[38],"usual":[41],"order":[42,49],"on":[43,161,172],"$\\mathbb":[44],"R$,":[45],"well-ordered,":[47],"type":[50],"$\\varepsilon_0$.":[51],"Furthermore,":[52],"density":[57],"numbers":[61,81],"along":[62],"real":[64,162],"line":[65],"grows":[66],"at":[67],"an":[68],"incredibly":[69],"fast":[70],"rate:":[71],"Letting":[72],"$g(n)$":[73],"be":[74,109],"largest":[76],"gap":[77],"between":[78],"consecutive":[79],"in":[82,114],"interval":[84],"$[n,\\infty)$,":[85],"have":[87],"$g(n)^{-1}":[88],"\\ge":[89],"F_{\\varepsilon_0}(n-c)$":[90],"for":[91],"some":[92,104],"constant":[93],"$c$,":[94],"where":[95],"$F_\\alpha$":[96],"denotes":[97],"fast-growing":[99],"hierarchy.":[100],"Finally,":[101],"derive":[103],"true":[105,130],"statements":[106],"can":[108],"formulated":[110],"but":[111],"not":[112],"proven":[113],"Peano":[115],"Arithmetic,":[116],"different":[119],"flavor":[120],"than":[121,144],"previously":[122],"known":[123],"such":[124],"statements:":[125],"PA":[126,165],"cannot":[127,166],"statement":[131,169],"\"For":[132],"every":[133],"natural":[134,174],"$n$":[136],"there":[137],"exists":[138],"smallest":[140],"larger":[143],"$n$.\"":[145],"Also,":[146],"consider":[147],"algorithm":[149],"\"$M(x)$:":[150],"if":[151],"$x<0$":[152],"return":[153,156],"$-x$,":[154],"else":[155],"$M(x-M(x-1))/2$.\"":[157],"Then":[158],"$M$":[159],"terminates":[160,171],"inputs,":[163],"although":[164],"\"$M$":[170],"all":[173],"inputs.\"":[175]},"counts_by_year":[{"year":2023,"cited_by_count":1}],"updated_date":"2026-07-28T07:46:37.118299","created_date":"2025-10-10T00:00:00"}