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

Kristiansen, Lars & Murwanashyaka, Juvenal (2020). First-Order Concatenation Theory with Bounded Quantifiers. Archive for Mathematical Logic. ISSN 0933-5846. . doi: 10.1007/s00153-020-00735-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). On Interpretability Between Some Weak Essentially Undecidable Theories. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 12098, s 63- 74 . doi: 10.1007/978-3-030-51466-2_6
Kristiansen, Lars & Murwanashyaka, Juvenal (2020). On Interpretability between some weak essential undecidable theories.. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 12098, s 63- 74 . doi: https://doi.org/10.1007/978-3-030-51466-2_6 Full text in Research Archive.
Murwanashyaka, Juvenal (2020). Weak Essentially Undecidable Theories of Concatenation. Archive for Mathematical Logic. ISSN 0933-5846.
Kristiansen, Lars & Murwanashyaka, Juvenal (2018). Decidable and Undecidable Fragments of First-Order Concatenation Theory, In Florin Manea; Russel G. Miller & Dirk Nowotka (ed.), Sailing Routes in the World of Computation. Springer Nature. ISBN 978-3-319-94417-3. kapittel. s 244 - 253

Published Aug. 13, 2019 2:12 PM - Last modified Aug. 22, 2019 8:20 PM