Abstract
We study the interpretation of Grzegorczyk’s Theory of Concatenation
TC in structures of decorated linear order types satisfying Grzegorczyk’s
axioms. We show that TC is incomplete for this interpretation. What
is more, the first order theory validated by this interpretation interprets
arithmetical truth. We also show that every extension of TC has a model
that
... read more