%0 Journal Article %A Damnjanovic, Zlatan %D 2017 %J Bulletin of Symbolic Logic %N 4 %P 381-404 %T Mutual interpretability of Robinson arithmetic and adjunctive set theory with extensionality %V 23