Mutual Interpretability of Robinson Arithmetic and Adjunctive Set Theory with Extensionality

2017/07/11 by Zlatan Damnjanovic, Damnjanovic, Zlatan
Computer Science · Mathematics · #03 #Advanced Algebra and Logic #Computability, Logic, AI Algorithms #FOS: Mathematics #Logic (math.LO) #math.LO #msc:03

paper · pdf · doi:10.48550/arxiv.1707.03531

61 pages

openalex publication_date 2017/07/11 · arxiv created 2017/07/12 · arxiv updated 2017/07/13 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28

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.

Related

• From Strings to Sets
• On the Syntax of Logic and Set Theory
• Mutual Interpretability of Weak Essentially Undecidable Theories
• Abstraction and Application in Adjunction
• A Brief History of Future Set Theory