Juvenal Murwanashyaka

Doctoral Research Fellow - Several Complex Variables, Logic and Operator algebras

$Image of Juvenal Murwanashyaka$

Norwegian version of this page

Email juvenalm@math.uio.no

Room 808

Username

Visiting address Moltke Moes vei 35 Niels Henrik Abels hus 0851 Oslo

Postal address Postboks 1053 Blindern 0316 Oslo

Other affiliations Faculty of Mathematics and Natural Sciences (Student)

Download business card

Academic interests

Mathematical logic

Tags: Mathematics, Logic

Murwanashyaka, Juvenal (2022). Weak Essentially Undecidable Theories of Concatenation. Archive for Mathematical Logic. ISSN 0933-5846. doi: 10.1007/s00153-022-00820-y. Full text in Research Archive
Kristiansen, Lars & Murwanashyaka, Juvenal (2020). On Interpretability between some weak essentially undecidable theories. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 12098, p. 63–74. doi: 10.1007/978-3-030-51466-2_6. Full text in Research Archive
Kristiansen, Lars & Murwanashyaka, Juvenal (2020). First-Order Concatenation Theory with Bounded Quantifiers (Preprint). arXiv.org. ISSN 2331-8422. doi: 10.1007/s00153-020-00735-6.
Kristiansen, Lars & Murwanashyaka, Juvenal (2020). First-Order Concatenation Theory with Bounded Quantifiers. Archive for Mathematical Logic. ISSN 0933-5846. 60(1-2), p. 77–104. doi: 10.1007/s00153-020-00735-6. Full text in Research Archive
Kristiansen, Lars & Murwanashyaka, Juvenal (2018). Decidable and Undecidable Fragments of First-Order Concatenation Theory. In Manea, Florin; Miller, Russel G. & Nowotka, Dirk (Ed.), Sailing Routes in the World of Computation. Springer Nature. ISSN 978-3-319-94417-3. p. 244–253. doi: 10.1007/978-3-319-94418-0_25. Full text in Research Archive