Mutual Interpretability of Robinson Arithmetic and Adjunctive Set Theory with Extensionality
classification
🧮 math.LO
keywords
theoryadjunctivearithmeticextensionalityinterpretabilitymutualrobinsonconcatenation
read the original 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.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.