4 papers
Notes on Systems of Very Weak Unary Dyadic Arithmetic
Zlatan Damnjanovic
We introduce several very weak first-order theories of unary concatenation of dyadic strings and investigate their relationships to other previously studied veey weak first-order t…
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…
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…
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.