New unary dyadic concatenation theories are mutually interpretable with WT, WD, and R, proving essential undecidability and definability of binary from unary concatenation.
Growing commas: a study of sequentiality and concatenation
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.