Abstrakt
Two theories of concatenation, the Tarski's theory F and the Grzegorczyk's theory TC, and the methods of showing their mutual interpretability with Robinson arithmetic are discussed.
Two theories of concatenation, the Tarski's theory F and the Grzegorczyk's theory TC, and the methods of showing their mutual interpretability with Robinson arithmetic are discussed.