On Interpretability in the Theory of Concatenation

Abstract

The paper discusses the theory of concatenation TC, defined by A. Grzegorczyk.

A proof that Robinson arithmetic Q is interpretable in TC is given.

Keywords

• Interpretability
• Theory
• Concatenation