Showing 2017Show all
2 papers · 1 filter
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.