Title: Mutual Interpretability of Robinson Arithmetic and Adjunctive Set Theory with Extensionality,
Abstract: An elementary rheory of concatenation is introduced and used to establish
mutual interpretability of Robinson arithmetic, Minimal Predicative Set Theory,
the quantifier-free part of Kirby's finitary set theory, and Adjunctive Set
Theory, with or without extensionality.