Decorated linear order types and the theory of concatenation
| 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) | |||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,705 |
| External links |
  Try with proxy. |
| Through your library | Only published papers are available at libraries |
Similar books and articlesWilliam 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.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads11 ( #99,611 of 549,198 )Recent downloads (6 months)1 ( #63,397 of 549,198 )How can I increase my downloads? |
My notes
Discussion
