Decorated linear order types and the theory of concatenation
Vedran Čačić, Pavel Pudlák, Greg Restall, Alasdair Urquhart, Albert Visser · Cambridge University Press eBooks · 2010
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. We provide a positive result, to wit a construction that builds structures of decorated order types from models of a suitable concatenation theory. This construction has the property that if there is a representation of a certain kind, then the construction provides a representation of that kind.