New unary dyadic concatenation theories are mutually interpretable with WT, WD, and R, proving essential undecidability and definability of binary from unary concatenation.
Die wahrheitsbegriff in den formalisierten Sprachen
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.