“Decorated Linear Order Types and the Theory of Concatenation,” with Vedran Čačić, Pavel Pudlák, Alasdair Urquhart and Albert Visser, p. 1–13 in Logic Colloquium 2007, ed. F. Delon, U. Kohlenbach, P. Maddy and F. Stephan, Cambridge University Press, 2010.

 download pdf

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 is not isomorphic to a structure of decorated order types.

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.

Do you like this, or do you have a comment? Then please  share or reply on Twitter, or  email me.

← Proof Theory and Meaning: the context of deducibility | Writing Archive | Always More →


I’m Greg Restall, and this is my personal website. I teach philosophy and logic as Professor of Philosophy at the University of Melbourne. ¶ Start at the home page of this site—a compendium of recent additions around here—and go from there to learn more about who I am and what I do. ¶ This is my personal site on the web. Nothing here is in any way endorsed by the University of Melbourne.



To receive updates from this site, you can subscribe to the  RSS feed of all updates to the site in an RSS feed reader, or follow me on Twitter at  @consequently, where I’ll update you if anything is posted.