New unary dyadic concatenation theories are mutually interpretable with WT, WD, and R, proving essential undecidability and definability of binary from unary concatenation.
String Theory
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
math.LO 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Notes on Systems of Very Weak Unary Dyadic Arithmetic
New unary dyadic concatenation theories are mutually interpretable with WT, WD, and R, proving essential undecidability and definability of binary from unary concatenation.