Mutual Interpretability of Robinson Arithmetic and Adjunctive Set Theory with Extensionality
Reviewed by Pith T0 review T1 audit T2 compute T3 formal T4 kernel pith:KCPBXS4Urecord.jsonopen to challenge →
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.