Source author record

Juvenal Murwanashyaka

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.LO

Catalog footprint

Research overview

2works

1topics

3close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

There are no minimal essentially undecidable Theories

We show that there is no theory that is minimal with respect to interpretability among recursively enumerable essentially undecidable theories.

preprint2020arXiv

First-Order Concatenation Theory with Bounded Quantifiers

We study first-order concatenation theory with bounded quantifiers. We give axiomatizations with interesting properties, and we prove some normal-form results. Finally, we prove a number of decidability and undecidability results.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.