Weak Essentially Undecidable Theories of Concatenation II
classification
🧮 math.LO
keywords
theoriesconcatenationarithmeticalcodingessentiallyinterpretsequencesundecidable
read the original abstract
We show that we can interpret concatenation theories in arithmetical theories without coding sequences.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.