Researcher profile

Juvenal Murwanashyaka

Juvenal Murwanashyaka contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

math.LO

Trust snapshot

Quick read

Trust 13 - UnverifiedVerification L1Unclaimed author

2works

0followers

1topics

3close collaborators

Actions

Decide how to stay connected

Follow researcher0

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

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

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.

Institution

Affiliation not imported yet

This author record came from a source that does not expose affiliation metadata. Once the author claims the profile or we enrich the record from another provider, this section will link to the concrete institution.

Topic footprint