Naslov
Decorated linear order types and the theory of concatenation

Autori
Čačić, Vedran ; Pudlák, Pavel ; Restall, Greg ; Urquhart, Alasdair ; Visser, Albert

Vrsta, podvrsta i kategorija rada
Radovi u zbornicima skupova, cjeloviti rad (in extenso), znanstveni

Izvornik
Proceedings of Logic Colloquium 2007 / - , 2008, 1-13

Skup
Logic Colloquium '07

Mjesto i datum
Wrocław, Poljska, 14.07.2007. - 19.07.2007

Vrsta sudjelovanja
Predavanje

Vrsta recenzije
Međunarodna recenzija

Ključne riječi
theory of concatenation

Sažetak
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 suitabe 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.

Izvorni jezik
Engleski

Znanstvena područja
Matematika

POVEZANOST RADA