From Strings to Sets

2017/01/26 by Zlatan Damnjanovic, Damnjanovic, Zlatan
Mathematics · #03-02 #FOS: Mathematics #Logic (math.LO) #math.LO #msc:03-02

paper · pdf · doi:10.48550/arxiv.1701.07548

665 pages

arxiv created 2017/01/26 · arxiv updated 2017/01/27

Abstract

A complete proof is given of relative interpretability of Adjunctive Set Theory with Extensionality in an elementary concatenation theory.

Related

• Mutual Interpretability of Robinson Arithmetic and Adjunctive Set Theory with Extensionality
• Abstraction and Application in Adjunction
• A Brief History of Future Set Theory
• Extending the Language of Set Theory
• On the Syntax of Logic and Set Theory