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.

61 pages