On Interpretability Between Some Weak Essentially Undecidable Theories.

Lars Kristiansen, Juvenal Murwanashyaka

Browse the full CiE paper archive.