Mutual Interpretability of Robinson Arithmetic and Adjunctive Set Theory with Extensionality
  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.
