# From Strings to Sets

## TL;DR

This paper provides a complete proof demonstrating the relative interpretability of Adjunctive Set Theory with Extensionality within an elementary concatenation theory, advancing understanding of formal set-theoretic foundations.

## Contribution

It offers a comprehensive proof establishing the interpretability relationship between set theory and concatenation theory, a novel result in formal logic.

## Key findings

- Proves the interpretability of Adjunctive Set Theory with Extensionality in concatenation theory
- Advances the understanding of formal relationships between set theory and string concatenation
- Provides a foundation for further exploration of formal interpretability in logic

## Abstract

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

---
Source: https://tomesphere.com/paper/1701.07548