{"id":"https://openalex.org/W7225461575","doi":"https://doi.org/10.5281/zenodo.24042052","title":"Certified Digits for Jump-Omega","display_name":"Certified Digits for Jump-Omega","publication_year":2026,"publication_date":"2026-11-07","ids":{"openalex":"https://openalex.org/W7225461575","doi":"https://doi.org/10.5281/zenodo.24042052"},"language":"en","primary_location":{"id":"doi:10.5281/zenodo.24042052","doi":"https://doi.org/10.5281/zenodo.24042052","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24042052","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"volume":null,"type":"preprint","is_traditional":true,"indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.5281/zenodo.24042052","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5152150008","display_name":"N. Podgorski","orcid":"https://orcid.org/0009-0008-7841-5317","observed_orcids":["https://orcid.org/0009-0008-7841-5317"]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Podgorski, N.","raw_affiliation_strings":["Independent researcher"],"raw_orcid":"https://orcid.org/0009-0008-7841-5317","affiliations":[{"raw_affiliation_string":"Independent researcher","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5152150008"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"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/T11567","display_name":"semigroups and automata theory","score":0.0,"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/T10588","display_name":"Mathematical Dynamics and Fractals","score":0.0,"subfield":{"id":"https://openalex.org/subfields/2610","display_name":"Mathematical Physics"},"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/halting-probability","display_name":"halting probability","score":0.8980000019073486},{"id":"https://openalex.org/keywords/oracle-computation","display_name":"oracle computation","score":0.5839999914169312},{"id":"https://openalex.org/keywords/binary-expansion","display_name":"binary expansion","score":0.4560000002384186},{"id":"https://openalex.org/keywords/lean-4-formal-verification","display_name":"Lean 4 formal verification","score":0.8009999990463257}],"concepts":[{"id":"https://openalex.org/C137343475","wikidata":"https://www.wikidata.org/wiki/Q622849","display_name":"Halting problem","level":4,"score":0.7628999948501587},{"id":"https://openalex.org/C55166926","wikidata":"https://www.wikidata.org/wiki/Q2892946","display_name":"Oracle","level":2,"score":0.5878999829292297},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.57669997215271},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.4562999904155731},{"id":"https://openalex.org/C97399411","wikidata":"https://www.wikidata.org/wiki/Q825367","display_name":"Coin flipping","level":2,"score":0.3465000092983246},{"id":"https://openalex.org/C204160518","wikidata":"https://www.wikidata.org/wiki/Q122653","display_name":"Numeral system","level":2,"score":0.3352999985218048},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3337000012397766},{"id":"https://openalex.org/C2776299755","wikidata":"https://www.wikidata.org/wiki/Q432449","display_name":"Carry (investment)","level":2,"score":0.31929999589920044},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3138999938964844},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.31299999356269836},{"id":"https://openalex.org/C48372109","wikidata":"https://www.wikidata.org/wiki/Q3913","display_name":"Binary number","level":2,"score":0.3066999912261963},{"id":"https://openalex.org/C45235069","wikidata":"https://www.wikidata.org/wiki/Q278425","display_name":"Table (database)","level":2,"score":0.30399999022483826},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.29760000109672546},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2930999994277954},{"id":"https://openalex.org/C136625980","wikidata":"https://www.wikidata.org/wiki/Q663208","display_name":"Rounding","level":2,"score":0.28769999742507935},{"id":"https://openalex.org/C60048249","wikidata":"https://www.wikidata.org/wiki/Q37437","display_name":"Syntax","level":2,"score":0.28519999980926514},{"id":"https://openalex.org/C2778067643","wikidata":"https://www.wikidata.org/wiki/Q166507","display_name":"Interval (graph theory)","level":2,"score":0.2842000126838684},{"id":"https://openalex.org/C46304622","wikidata":"https://www.wikidata.org/wiki/Q374814","display_name":"Certification","level":2,"score":0.2754000127315521},{"id":"https://openalex.org/C149441793","wikidata":"https://www.wikidata.org/wiki/Q200726","display_name":"Probability distribution","level":2,"score":0.27239999175071716},{"id":"https://openalex.org/C141603448","wikidata":"https://www.wikidata.org/wiki/Q134830","display_name":"Prefix","level":2,"score":0.26899999380111694},{"id":"https://openalex.org/C65045869","wikidata":"https://www.wikidata.org/wiki/Q81365","display_name":"Decimal","level":2,"score":0.26649999618530273},{"id":"https://openalex.org/C554936623","wikidata":"https://www.wikidata.org/wiki/Q199657","display_name":"Reading (process)","level":2,"score":0.26510000228881836},{"id":"https://openalex.org/C156308498","wikidata":"https://www.wikidata.org/wiki/Q1347898","display_name":"Ping (video games)","level":2,"score":0.26440000534057617},{"id":"https://openalex.org/C2776545233","wikidata":"https://www.wikidata.org/wiki/Q1064858","display_name":"Desk","level":2,"score":0.26260000467300415}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.5281/zenodo.24042052","doi":"https://doi.org/10.5281/zenodo.24042052","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24042052","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},{"id":"doi:10.5281/zenodo.24042053","doi":"https://doi.org/10.5281/zenodo.24042053","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24042053","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"doi:10.5281/zenodo.24042052","doi":"https://doi.org/10.5281/zenodo.24042052","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24042052","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W7171372029","https://openalex.org/W7211910372","https://openalex.org/W4392712822","https://openalex.org/W7223259680","https://openalex.org/W7211871109","https://openalex.org/W73284978","https://openalex.org/W7225076377","https://openalex.org/W7097373112","https://openalex.org/W7204717664","https://openalex.org/W2281713344"],"abstract_inverted_index":{"Along":[0],"with":[1,41,111,159,307],"the":[2,23,28,38,49,54,66,81,107,119,131,148,166,173,183,198,203,213,234,248,260,278,308,346,368,386,390,402,423,434,439],"results":[3,436],"on":[4,329,363],"Jump-Omega,":[5,125],"I":[6,15],"want":[7],"to":[8,293,432],"introduce":[9],"a":[10,33,44,59,84,103,127,217,256,336,408],"further":[11],"halting":[12,50,61,78,116,123,134],"probability":[13,79,82,135,174],"that":[14,46,83,114,277,286],"call":[16],"Leap-Omega.":[17],"It":[18,187],"takes":[19],"this":[20],"work":[21],"beyond":[22],"finite-jump":[24],"hierarchy.":[25],"I\u2019ve":[26],"kept":[27],"introduction":[29],"brief":[30],"here":[31,101],"and":[32,141,177,231,271,283,285,304,332,345,356,374,389,396,407,419,428],"separate":[34],"paper":[35,64,384,403],"will":[36],"present":[37],"full":[39,207,325,351],"development":[40],"proofs.":[42],"Even":[43],"machine":[45,85,99,110,280],"can":[47,211],"solve":[48],"problem":[51],"cannot":[52],"compute":[53],"entire":[55],"binary":[56,155],"expansion":[57],"of":[58,70,106,130,143,225,376,392],"2-random":[60],"probability.":[62],"This":[63,399],"certifies":[65],"first":[67,153],"55":[68,154],"digits":[69,156,167,250],"one":[71,327,342,381],"concrete":[72,128],"example.":[73],"What":[74],"Jump-Omega":[75],"is.":[76],"A":[77,296,359],"is":[80,126,196,251,281],"eventually":[86],"halts":[87],"when":[88],"its":[89,287],"input":[90],"bits":[91],"are":[92,145,157,168,241,315],"chosen":[93],"by":[94,253,326,335,353,380],"fair":[95],"coin":[96],"tosses.":[97],"The":[98,137,150,152,170,301,319,338,383,416],"studied":[100],"extends":[102],"specified":[104,146],"reading":[105],"Calude\u2013Dinneen":[108],"register":[109],"an":[112,194],"instruction":[113],"answers":[115],"questions":[117,144],"about":[118],"original":[120],"machine.":[121],"Its":[122],"probability,":[124],"instance":[129],"classical":[132],"relativized":[133],"\u03a9\u2032.":[136],"machine,":[138],"encoding,":[139],"oracle":[140,191,244],"indexing":[142],"in":[147,202,324,333],"paper.":[149],"result.":[151],"0.0001000000010000111010101111011011111010010011000001010\u2026":[158],"outward":[160],"decimal":[161],"bounds":[162,172,181,230,377],"[0.0627581456158597463,":[163],"0.0627581456158597666].":[164],"How":[165],"certified.":[169],"computation":[171],"from":[175],"below":[176],"above":[178],"until":[179],"both":[180],"have":[182,311],"same":[184,261],"leading":[185],"digits.":[186],"uses":[188],"only":[189],"certified":[190,218],"answers.":[192],"When":[193],"answer":[195,245],"unknown,":[197],"corresponding":[199],"branch":[200],"stays":[201],"upper":[204],"bound":[205],"at":[206],"measure,":[208],"so":[209,259],"uncertainty":[210],"widen":[212],"interval":[214,349],"without":[215,437],"invalidating":[216],"digit.":[219],"Adaptive":[220],"grouping":[221],"gives":[222],"different":[223],"groups":[224,240],"unresolved":[226],"programs":[227],"their":[228,305],"own":[229],"search":[232],"depths;":[233],"proof":[235,298],"remains":[236],"valid":[237],"however":[238],"those":[239],"chosen.":[242],"Every":[243],"used":[246],"for":[247,266,413],"reported":[249,435],"settled":[252],"syntax":[254],"or":[255],"finite":[257,262],"run,":[258],"prefix":[263],"also":[264],"occurs":[265],"suitable":[267],"decidable":[268],"oracles.":[269],"Proofs":[270],"verification.":[272],"Lean":[273,309,426],"4":[274],"proofs":[275],"establish":[276],"underlying":[279],"prefix-free":[282],"Chaitin-universal,":[284],"extension":[288],"has":[289],"these":[290],"properties":[291],"relative":[292],"each":[294,393],"oracle.":[295],"written":[297],"establishes":[299],"2-randomness.":[300],"numerical":[302],"checkers":[303],"agreement":[306],"semantics":[310],"been":[312],"tested,":[313],"but":[314],"not":[316],"formally":[317],"verified.":[318],"76-bit":[320],"certificate":[321,340,387],"was":[322],"checked":[323,379],"checker":[328,361],"two":[330],"machines":[331],"part":[334],"second.":[337],"80-bit":[339],"passed":[341,350],"complete":[343],"check,":[344],"ordinary-machine":[347],"84-bit":[348],"checks":[352],"independent":[354],"C":[355],"Python":[357],"implementations.":[358],"second":[360],"agrees":[362],"every":[364],"adaptive-extension":[365],"record,":[366],"while":[367],"extension's":[369],"overall":[370],"counts,":[371],"bounding":[372],"factors":[373],"combination":[375],"were":[378],"implementation.":[382],"states":[385],"conditions":[388],"scope":[391],"check.":[394],"Files":[395],"supplementary":[397,420],"material.":[398],"record":[400],"contains":[401],"PDF,":[404],"LaTeX":[405],"sources":[406,427],"prepared":[409],"arXiv":[410],"source":[411],"ZIP":[412],"later":[414],"submission.":[415],"research":[417],"package":[418],"material":[421],"contain":[422],"checkers,":[424],"certificates,":[425],"verification":[429],"records":[430],"needed":[431],"re-check":[433],"repeating":[438],"searches.":[440],"MSC":[441],"2020:":[442],"Primary":[443],"03D32;":[444],"Secondary":[445],"68Q30,":[446],"68V05,":[447],"68V20,":[448],"03D80.":[449]},"counts_by_year":[],"updated_date":"2026-11-09T13:22:03.289127","created_date":"2026-11-08T00:00:00"}