|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 is not isomorphic to a structure of decorated order types.|
|Keywords||No keywords specified (fix it)|
|Categories||No categories specified (fix it)|
|Through your library||Only published papers are available at libraries|
Similar books and articles
William Boos (2003). Virtual Modality. Synthese 136 (3):435 - 491.
Richard Wiese (2003). Linear Order and its Place in Grammar. Behavioral and Brain Sciences 26 (6):693-694.
Russell Miller (2001). The Δ02-Spectrum of a Linear Order. Journal of Symbolic Logic 66 (2):470 - 486.
Shmuel Lifsches & Saharon Shelah (1997). Peano Arithmetic May Not Be Interpretable in the Monadic Theory of Linear Orders. Journal of Symbolic Logic 62 (3):848-872.
A. S. Troelstra (2000). Basic Proof Theory. Cambridge University Press.
M. Moses (1988). Decidable Discrete Linear Orders. Journal of Symbolic Logic 53 (2):531-539.
Paul C. Gilmore (2001). An Intensional Type Theory: Motivation and Cut-Elimination. Journal of Symbolic Logic 66 (1):383-400.
Menachem Kojman & Saharon Shelah (1992). Nonexistence of Universal Orders in Many Cardinals. Journal of Symbolic Logic 57 (3):875-891.
Added to index2009-01-28
Total downloads11 ( #99,611 of 549,198 )
Recent downloads (6 months)1 ( #63,397 of 549,198 )
How can I increase my downloads?