{"id":"https://openalex.org/W6929332779","doi":"https://doi.org/10.48550/arxiv.2503.05826","title":"The Fertile Steppe: Computability Logic and the decidability of one of its fragments","display_name":"The Fertile Steppe: Computability Logic and the decidability of one of its fragments","publication_year":2025,"publication_date":"2025-03-05","ids":{"openalex":"https://openalex.org/W6929332779","doi":"https://doi.org/10.48550/arxiv.2503.05826"},"language":"en","primary_location":{"id":"doi:10.48550/arxiv.2503.05826","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2503.05826","pdf_url":null,"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":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.48550/arxiv.2503.05826","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Spadoni, Stella","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Spadoni, Stella","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"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":true,"primary_topic":{"id":"https://openalex.org/T11967","display_name":"Electrolyte and hormonal disorders","score":0.4156000018119812,"subfield":{"id":"https://openalex.org/subfields/2740","display_name":"Pulmonary and Respiratory Medicine"},"field":{"id":"https://openalex.org/fields/27","display_name":"Medicine"},"domain":{"id":"https://openalex.org/domains/4","display_name":"Health Sciences"}},"topics":[{"id":"https://openalex.org/T11967","display_name":"Electrolyte and hormonal disorders","score":0.4156000018119812,"subfield":{"id":"https://openalex.org/subfields/2740","display_name":"Pulmonary and Respiratory Medicine"},"field":{"id":"https://openalex.org/fields/27","display_name":"Medicine"},"domain":{"id":"https://openalex.org/domains/4","display_name":"Health Sciences"}},{"id":"https://openalex.org/T11541","display_name":"Neuroendocrine regulation and behavior","score":0.2117999941110611,"subfield":{"id":"https://openalex.org/subfields/3207","display_name":"Social Psychology"},"field":{"id":"https://openalex.org/fields/32","display_name":"Psychology"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T10724","display_name":"Ion Transport and Channel Regulation","score":0.031700000166893005,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/soundness","display_name":"Soundness","score":0.8126999735832214},{"id":"https://openalex.org/keywords/computability","display_name":"Computability","score":0.7864999771118164},{"id":"https://openalex.org/keywords/decidability","display_name":"Decidability","score":0.7677000164985657},{"id":"https://openalex.org/keywords/completeness","display_name":"Completeness (order theory)","score":0.6118000149726868},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.4636000096797943},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.43630000948905945},{"id":"https://openalex.org/keywords/syntax","display_name":"Syntax","score":0.399399995803833},{"id":"https://openalex.org/keywords/calculus","display_name":"Calculus (dental)","score":0.3871999979019165},{"id":"https://openalex.org/keywords/satisfiability","display_name":"Satisfiability","score":0.36000001430511475}],"concepts":[{"id":"https://openalex.org/C39920170","wikidata":"https://www.wikidata.org/wiki/Q693083","display_name":"Soundness","level":2,"score":0.8126999735832214},{"id":"https://openalex.org/C152062344","wikidata":"https://www.wikidata.org/wiki/Q818888","display_name":"Computability","level":2,"score":0.7864999771118164},{"id":"https://openalex.org/C153269930","wikidata":"https://www.wikidata.org/wiki/Q430001","display_name":"Decidability","level":2,"score":0.7677000164985657},{"id":"https://openalex.org/C17231256","wikidata":"https://www.wikidata.org/wiki/Q5156540","display_name":"Completeness (order theory)","level":2,"score":0.6118000149726868},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5813999772071838},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.4636000096797943},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.43630000948905945},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4341999888420105},{"id":"https://openalex.org/C60048249","wikidata":"https://www.wikidata.org/wiki/Q37437","display_name":"Syntax","level":2,"score":0.399399995803833},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.3871999979019165},{"id":"https://openalex.org/C168773769","wikidata":"https://www.wikidata.org/wiki/Q1350299","display_name":"Satisfiability","level":2,"score":0.36000001430511475},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.3517000079154968},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3287000060081482},{"id":"https://openalex.org/C100481476","wikidata":"https://www.wikidata.org/wiki/Q4055684","display_name":"First-order logic","level":2,"score":0.32280001044273376},{"id":"https://openalex.org/C206880738","wikidata":"https://www.wikidata.org/wiki/Q431667","display_name":"Automated theorem proving","level":2,"score":0.31869998574256897},{"id":"https://openalex.org/C192034797","wikidata":"https://www.wikidata.org/wiki/Q3502995","display_name":"Undecidable problem","level":3,"score":0.31450000405311584},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.2924000024795532},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.2913999855518341},{"id":"https://openalex.org/C111142201","wikidata":"https://www.wikidata.org/wiki/Q818930","display_name":"Computability theory","level":2,"score":0.29089999198913574},{"id":"https://openalex.org/C182306322","wikidata":"https://www.wikidata.org/wiki/Q1779371","display_name":"Order (exchange)","level":2,"score":0.28600001335144043},{"id":"https://openalex.org/C195344581","wikidata":"https://www.wikidata.org/wiki/Q2555318","display_name":"Automated reasoning","level":2,"score":0.27639999985694885},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2759999930858612},{"id":"https://openalex.org/C47030870","wikidata":"https://www.wikidata.org/wiki/Q467606","display_name":"Model theory","level":2,"score":0.2703999876976013},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2676999866962433},{"id":"https://openalex.org/C2164484","wikidata":"https://www.wikidata.org/wiki/Q5170150","display_name":"Core (optical fiber)","level":2,"score":0.2630000114440918},{"id":"https://openalex.org/C2776235265","wikidata":"https://www.wikidata.org/wiki/Q18392052","display_name":"Fragment (logic)","level":2,"score":0.26089999079704285},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.2547000050544739},{"id":"https://openalex.org/C171482190","wikidata":"https://www.wikidata.org/wiki/Q3257974","display_name":"Minimal logic","level":5,"score":0.2540999948978424}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2503.05826","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2503.05826","pdf_url":null,"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":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"doi:10.48550/arxiv.2503.05826","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2503.05826","pdf_url":null,"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":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"The":[0,91,179],"present":[1,58],"work":[2],"is":[3,21],"devoted":[4],"to":[5,22,111,121,132,150,187,194],"Computability":[6,152,232],"Logic":[7],"(CoL),":[8],"the":[9,24,46,57,66,119,133,141,173,221,226,257,264],"young":[10],"and":[11,41,101,115,202,228,238,245],"volcanic":[12],"research-project":[13],"developed":[14,147],"by":[15],"Giorgi":[16],"Japaridze.":[17],"Our":[18],"main":[19,104],"goal":[20],"provide":[23,61,206],"reader":[25,120],"with":[26,126,190,252],"a":[27,50,62,97,161,191,214],"clear":[28],"panoramic":[29],"view":[30],"of":[31,68,70,87,172,217,231,259],"this":[32,88,127,155,260],"vast":[33],"new":[34,128,142,156],"land,":[35],"starting":[36],"from":[37],"its":[38,103,113,195,200,218],"core":[39],"knots":[40],"making":[42],"our":[43,77,250],"way":[44],"towards":[45],"outer":[47],"threads,":[48],"in":[49,96,148,185,235,239],"somewhat":[51],"three-dimensional,":[52],"spacial":[53],"gait.":[54],"Furthermore,":[55],"through":[56],"work,":[59],"we":[60,136],"tentative":[63,215],"proof":[64,216],"for":[65,82,164],"decidability":[67],"one":[69],"CoL's":[71],"numerous":[72],"axiomatisations,":[73],"namely":[74],"CL15.":[75],"Thus,":[76],"expedition":[78],"initially":[79],"takes":[80],"off":[81],"an":[83],"aerial,":[84],"perusal":[85],"overview":[86],"fertile":[89],"steppe.":[90],"first":[92],"chapter":[93,181,223],"introduces":[94],"CoL":[95],"philosophical":[98],"fashion,":[99],"exposing":[100],"arguing":[102],"key":[105],"points.":[106],"We":[107,168,198,248],"then":[108,169,205],"move":[109],"over":[110],"unfold":[112],"semantics":[114],"syntax":[116],"profiles,":[117],"allowing":[118],"become":[122],"increasingly":[123],"more":[124],"familiar":[125],"environment.":[129],"Landing":[130],"on":[131,183,225,256],"second":[134],"chapter,":[135],"thoroughly":[137],"introduce":[138],"Cirquent":[139],"Calculus,":[140],"deductive":[143,209],"system":[144],"Japaridze":[145],"has":[146],"order":[149,186],"axiomatise":[151],"Logic.":[153],"Indeed,":[154],"proof-system":[157],"can":[158],"also":[159],"be":[160],"useful":[162],"tool":[163],"many":[165],"other":[166],"logics.":[167],"review":[170],"each":[171],"17":[174],"axiomatisations":[175],"found":[176],"so":[177],"far.":[178],"third":[180],"zooms-in":[182],"CL15,":[184],"come":[188],"up":[189],"possible":[192],"solution":[193],"open":[196],"problem.":[197],"outline":[199],"soundness":[201],"completeness":[203],"proofs;":[204],"some":[207,253],"few":[208],"examples;":[210],"and,":[211,262],"finally,":[212],"build":[213],"decidability.":[219],"Lastly,":[220],"fourth":[222],"focuses":[224],"potential":[227],"actual":[229],"applications":[230],"Logic,":[233],"both":[234],"arithmetic":[236],"(clarithmetic)":[237],"Artificial":[240],"Intelligence":[241],"systems":[242],"(meaning":[243],"knowledgebase":[244],"planning-and-action":[246],"ones).":[247],"close":[249],"journey":[251],"final":[254],"remarks":[255],"richness":[258],"framework":[261],"hence,":[263],"research-worthiness":[265],"it":[266],"entails.":[267]},"counts_by_year":[],"updated_date":"2026-07-28T07:46:37.118299","created_date":"2025-10-10T00:00:00"}