From Strings to Sets
arXiv:1701.07548
Abstract
A complete proof is given of relative interpretability of Adjunctive Set Theory with Extensionality in an elementary concatenation theory.
arXiv comment665 pages
arXiv:1701.07548
A complete proof is given of relative interpretability of Adjunctive Set Theory with Extensionality in an elementary concatenation theory.
arXiv comment665 pages