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.

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.