Juvenal Murwanashyaka

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
There are no minimal essentially undecidable theories Journal Of Logic And Computation	2024-11-12	Paper
A weak theory of building blocks Mathematical Logic Quarterly (MLQ)	2024-08-19	Paper
Weak essentially undecidable theories of concatenation. II. Archive for Mathematical Logic	2024-04-16	Paper
On interpretability between some weak essentially undecidable theories	2022-12-16	Paper
Weak sequential theories of finite full binary trees	2022-12-07	Paper
Hilbert's tenth problem for term algebras with a substitution operator	2022-12-07	Paper
Weak essentially undecidable theories of concatenation Archive for Mathematical Logic	2022-10-18	Paper
There are no minimal essentially undecidable Theories	2022-07-17	Paper
Undecidability in First-Order Theories of Term Algebras Extended with a Substitution Operator	2021-10-31	Paper
First-order concatenation theory with bounded quantifiers Archive for Mathematical Logic	2021-01-19	Paper
Decidable and undecidable fragments of first-order concatenation theory	2018-09-06	Paper
Decidable and undecidable fragments of first-order concatenation theory (available as arXiv preprint)	2018-09-06	Paper
Notes on Fragments of First-Order Concatenation Theory (available as arXiv preprint)	2018-04-17	Paper
Notes on Interpretability between Weak First-order Theories: Theories of Sequences (available as arXiv preprint)	N/A	Paper

Research outcomes over time

This page was built for person: Juvenal Murwanashyaka