{"id":"https://openalex.org/W7115169269","doi":"https://doi.org/10.1017/bsl.2025.10110","title":"JUVENAL MURWANASHYAKA. <i> <b>Papers on weak first-order theories and decidability problems</b> </i> , University of Oslo. 2023. Supervised by Lars Kristiansen, Dag Normann, and Tom Lindstr\u00f8m. MSC: 03B10, 03B25, 03D35, 03D40, 03F25, 03F30, 68R15. Keywords: decidability, interpretability, sequential theories, weak arithmetic.","display_name":"JUVENAL MURWANASHYAKA. <i> <b>Papers on weak first-order theories and decidability problems</b> </i> , University of Oslo. 2023. Supervised by Lars Kristiansen, Dag Normann, and Tom Lindstr\u00f8m. MSC: 03B10, 03B25, 03D35, 03D40, 03F25, 03F30, 68R15. Keywords: decidability, interpretability, sequential theories, weak arithmetic.","publication_year":2025,"publication_date":"2025-12-01","ids":{"openalex":"https://openalex.org/W7115169269","doi":"https://doi.org/10.1017/bsl.2025.10110"},"language":"en","primary_location":{"id":"doi:10.1017/bsl.2025.10110","is_oa":true,"landing_page_url":"https://doi.org/10.1017/bsl.2025.10110","pdf_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/5CB4D408549207F0919CE5440D455463/S1079898625101108a.pdf/div-class-title-papers-on-weak-first-order-theories-and-decidability-problems-div.pdf","source":{"id":"https://openalex.org/S130801046","display_name":"Bulletin of Symbolic Logic","issn_l":"1079-8986","issn":["1079-8986","1943-5894"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"The Bulletin of Symbolic Logic","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/5CB4D408549207F0919CE5440D455463/S1079898625101108a.pdf/div-class-title-papers-on-weak-first-order-theories-and-decidability-problems-div.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Juvenal Murwanashyaka","orcid":null},"institutions":[{"id":"https://openalex.org/I184942183","display_name":"University of Oslo","ror":"https://ror.org/01xtthb56","country_code":"NO","type":"education","lineage":["https://openalex.org/I184942183"]}],"countries":["NO"],"is_corresponding":true,"raw_author_name":"Juvenal Murwanashyaka","raw_affiliation_strings":["University of Oslo. 2023"],"affiliations":[{"raw_affiliation_string":"University of Oslo. 2023","institution_ids":["https://openalex.org/I184942183"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I184942183"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.80691041,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"31","issue":"4","first_page":"696","last_page":"696"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.5408999919891357,"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"}},"topics":[{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.5408999919891357,"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"}},{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.163100004196167,"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/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.13940000534057617,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/undecidable-problem","display_name":"Undecidable problem","score":0.9711999893188477},{"id":"https://openalex.org/keywords/decidability","display_name":"Decidability","score":0.8424000144004822},{"id":"https://openalex.org/keywords/interpretability","display_name":"Interpretability","score":0.6868000030517578},{"id":"https://openalex.org/keywords/recursively-enumerable-language","display_name":"Recursively enumerable language","score":0.6682999730110168},{"id":"https://openalex.org/keywords/recursively-enumerable-set","display_name":"Recursively enumerable set","score":0.6513000130653381},{"id":"https://openalex.org/keywords/algebraic-number","display_name":"Algebraic number","score":0.4580000042915344},{"id":"https://openalex.org/keywords/halting-problem","display_name":"Halting problem","score":0.4300000071525574},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.40549999475479126}],"concepts":[{"id":"https://openalex.org/C192034797","wikidata":"https://www.wikidata.org/wiki/Q3502995","display_name":"Undecidable problem","level":3,"score":0.9711999893188477},{"id":"https://openalex.org/C153269930","wikidata":"https://www.wikidata.org/wiki/Q430001","display_name":"Decidability","level":2,"score":0.8424000144004822},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6984000205993652},{"id":"https://openalex.org/C2781067378","wikidata":"https://www.wikidata.org/wiki/Q17027399","display_name":"Interpretability","level":2,"score":0.6868000030517578},{"id":"https://openalex.org/C203702658","wikidata":"https://www.wikidata.org/wiki/Q1073063","display_name":"Recursively enumerable language","level":2,"score":0.6682999730110168},{"id":"https://openalex.org/C52703633","wikidata":"https://www.wikidata.org/wiki/Q676835","display_name":"Recursively enumerable set","level":3,"score":0.6513000130653381},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.5110999941825867},{"id":"https://openalex.org/C9376300","wikidata":"https://www.wikidata.org/wiki/Q168817","display_name":"Algebraic number","level":2,"score":0.4580000042915344},{"id":"https://openalex.org/C137343475","wikidata":"https://www.wikidata.org/wiki/Q622849","display_name":"Halting problem","level":4,"score":0.4300000071525574},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.40549999475479126},{"id":"https://openalex.org/C47884741","wikidata":"https://www.wikidata.org/wiki/Q1166618","display_name":"Mathematical logic","level":2,"score":0.3749000132083893},{"id":"https://openalex.org/C61797465","wikidata":"https://www.wikidata.org/wiki/Q1188986","display_name":"Term (time)","level":2,"score":0.3637999892234802},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.3321000039577484},{"id":"https://openalex.org/C47030870","wikidata":"https://www.wikidata.org/wiki/Q467606","display_name":"Model theory","level":2,"score":0.3140999972820282},{"id":"https://openalex.org/C2778220771","wikidata":"https://www.wikidata.org/wiki/Q1522579","display_name":"Substitution (logic)","level":2,"score":0.3118000030517578},{"id":"https://openalex.org/C48372109","wikidata":"https://www.wikidata.org/wiki/Q3913","display_name":"Binary number","level":2,"score":0.3077999949455261},{"id":"https://openalex.org/C65180967","wikidata":"https://www.wikidata.org/wiki/Q130901","display_name":"Binary relation","level":2,"score":0.30709999799728394},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.29260000586509705},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.2851000130176544},{"id":"https://openalex.org/C111142201","wikidata":"https://www.wikidata.org/wiki/Q818930","display_name":"Computability theory","level":2,"score":0.2782000005245209},{"id":"https://openalex.org/C2781204021","wikidata":"https://www.wikidata.org/wiki/Q6497091","display_name":"Lattice (music)","level":2,"score":0.27489998936653137},{"id":"https://openalex.org/C56049555","wikidata":"https://www.wikidata.org/wiki/Q1276570","display_name":"EXPTIME","level":4,"score":0.2736000120639801},{"id":"https://openalex.org/C162392398","wikidata":"https://www.wikidata.org/wiki/Q272404","display_name":"Finite set","level":2,"score":0.266400009393692},{"id":"https://openalex.org/C2780841128","wikidata":"https://www.wikidata.org/wiki/Q5073781","display_name":"Characterization (materials science)","level":2,"score":0.25200000405311584}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1017/bsl.2025.10110","is_oa":true,"landing_page_url":"https://doi.org/10.1017/bsl.2025.10110","pdf_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/5CB4D408549207F0919CE5440D455463/S1079898625101108a.pdf/div-class-title-papers-on-weak-first-order-theories-and-decidability-problems-div.pdf","source":{"id":"https://openalex.org/S130801046","display_name":"Bulletin of Symbolic Logic","issn_l":"1079-8986","issn":["1079-8986","1943-5894"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"The Bulletin of Symbolic Logic","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1017/bsl.2025.10110","is_oa":true,"landing_page_url":"https://doi.org/10.1017/bsl.2025.10110","pdf_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/5CB4D408549207F0919CE5440D455463/S1079898625101108a.pdf/div-class-title-papers-on-weak-first-order-theories-and-decidability-problems-div.pdf","source":{"id":"https://openalex.org/S130801046","display_name":"Bulletin of Symbolic Logic","issn_l":"1079-8986","issn":["1079-8986","1943-5894"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"The Bulletin of Symbolic Logic","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7115169269.pdf","grobid_xml":"https://content.openalex.org/works/W7115169269.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Abstract":[0,303],"The":[1],"dissertation":[2],"consists":[3],"of":[4,19,23,29,32,35,39,46,49,52,55,67,112,144,165,188,272],"an":[5],"introductory":[6],"chapter":[7],"and":[8,43,133,146,194,206,231,258,281],"eight":[9],"published":[10],"articles":[11],"centered":[12],"around":[13],"the":[14,20,30,36,40,50,270],"following":[15],"topics:":[16],"(1)":[17],"calibration":[18],"interpretability":[21,53,262],"strength":[22],"weak":[24,65,265],"first-order":[25],"theories;":[26,42],"(2)":[27],"determination":[28],"(un)decidability":[31],"fine-grained":[33],"fragments":[34],"intended":[37],"models":[38],"aforementioned":[41],"(3)":[44],"investigation":[45],"algebraic":[47],"properties":[48],"lattice":[51],"degrees":[54],"computably":[56],"enumerable":[57],"essentially":[58,109,140,162,266],"undecidable":[59,110,141,163,267],"theories.":[60,142],"1.":[61],"J.":[62,82,106,129,159,183,200,232,259],"Murwanashyaka,":[63,83,107,130,160,184,233,260],"A":[64],"theory":[66,236],"building":[68],"blocks.":[69],"Mathematical":[70,118,169,242],"Logic":[71,119,145,170,243],"Quarterly":[72],",":[73,95,120,148,171,244],"vol.":[74,96,121,149,172,245],"70":[75],"(2024),":[76,98,123,151],"pp.":[77,101,124,154,177,223,250,298],"233\u2013254.":[78],"doi:":[79,103,126,156,179,225,252,300],"10.1002/malq.202300015":[80],"2.":[81],"Hilbert\u2019s":[84],"tenth":[85],"problem":[86],"for":[87,117,168,241],"term":[88],"algebras":[89],"with":[90,237],"a":[91],"substitution":[92],"operator.":[93],"Computability":[94,197,273],"13":[97],"nos.":[99,175,248],"3\u20134,":[100],"433\u2013457.":[102],"10.3233/COM-230444":[104],"3.":[105],"Weak":[108,161,185],"theories":[111,164,187],"concatenation,":[113],"part":[114],"II.":[115],"Archive":[116,167,240],"63":[122],"353\u2013390.":[125],"10.1007/s00153-023-00898-y":[127],"4.":[128],"F.":[131,204,279],"Pakhomov,":[132],"A.":[134,207,282],"Visser,":[135],"There":[136],"are":[137],"no":[138],"minimal":[139],"Journal":[143],"Computation":[147],"34":[150],"no.":[152],"6,":[153],"1159\u20131171.":[155],"10.1093/logcom/exad005":[157],"5.":[158],"concatenation.":[166],"61":[173],"(2022),":[174],"7\u20138,":[176],"939\u2013976.":[178],"10.1007/s00153-022-00820-y":[180],".":[181,227,254,302],"6.":[182],"sequential":[186],"finite":[189],"full":[190],"binary":[191],"trees,":[192],"Revolutions":[193],"Revelations":[195],"in":[196,214,289],"(U.":[198],"Berger,":[199],"N.":[201],"Y.":[202],"Franklin,":[203],"Manea,":[205,280],"Pauly,":[208,283],"editors),":[209,284],"CiE":[210,285],"2022,":[211,222],"Lecture":[212,287],"Notes":[213,288],"Computer":[215,290],"Science,":[216,291],"Vol.":[217,292],"13359,":[218],"Springer":[219,294],"International":[220,295],"Publishing,":[221,296],"208\u2013219.":[224],"10.1007/978-3-031-08740-0_18":[226],"7.":[228],"L.":[229,256],"Kristiansen":[230,257],"First-order":[234],"concatenation":[235],"bounded":[238],"quantifiers.":[239],"60":[246],"(2021),":[247],"1\u20132,":[249],"77\u2013104.":[251],"10.1007/s00153-020-00735-6":[253],"8.":[255],"On":[261],"between":[263],"some":[264],"theories,":[268],"Beyond":[269],"Horizon":[271],"(M.":[274],"Anselmo,":[275],"G.":[276],"Della":[277],"Vedova,":[278],"2020,":[286,297],"12098,":[293],"63\u201374.":[299],"10.1007/978-3-030-51466-2_6":[301],"prepared":[304],"by":[305],"Juvenal":[306],"Murwanashyaka":[307],"E-mail":[308],":":[309,312],"murwanashyaka@math.cas.cz":[310],"URL":[311],"http://hdl.handle.net/10852/104677":[313]},"counts_by_year":[],"updated_date":"2026-03-25T13:04:00.132906","created_date":"2025-12-15T00:00:00"}