3 papers
math.LO2021
Mutual Interpretability of Weak Essentially Undecidable Theories
Zlatan Damnjanovic
Kristiansen and Murwanashyaka recently proved that Robinson arithmetic Q is interpretable in an elementary theory of full binary trees, T. We prove that, conversely, T is interpret…
math.LO2017
Mutual Interpretability of Robinson Arithmetic and Adjunctive Set Theory with Extensionality
Zlatan Damnjanovic
An elementary rheory of concatenation is introduced and used to establish mutual interpretability of Robinson arithmetic, Minimal Predicative Set Theory, the quantifier-free part o…
math.LO2017
From Strings to Sets
Zlatan Damnjanovic
A complete proof is given of relative interpretability of Adjunctive Set Theory with Extensionality in an elementary concatenation theory.