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

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)
Academic interests
Mathematical logic
Publications
-
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
-
Murwanashyaka, Juvenal (2019). On First-Order Bit Theory.
Published Aug. 13, 2019 2:12 PM
- Last modified Aug. 22, 2019 8:20 PM