Juvenal Murwanashyaka

Available identifiers

zbMath Open murwanashyaka.juvenalMaRDI QIDQ1670747

List of research outcomes

Publication	Date of Publication	Type
There are no minimal essentially undecidable theories	2024-11-12	Paper
A weak theory of building blocks	2024-08-19	Paper
Weak essentially undecidable theories of concatenation. II.	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	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	2021-01-19	Paper
Decidable and undecidable fragments of first-order concatenation theory	2018-09-06	Paper
Notes on Fragments of First-Order Concatenation Theory	2018-04-17	Paper
Notes on Interpretability between Weak First-order Theories: Theories of Sequences	N/A	Paper

Research outcomes over time

This page was built for person: Juvenal Murwanashyaka