Počet záznamů: 1

Decorated linear order types and the theory of concatenation

  1. 1.
    0351064 - MU-W 2011 RIV GB eng C - Konferenční příspěvek (zahraniční konf.)
    Čačić, V. - Pudlák, Pavel - Restall, G. - Urquhart, A. - Visser, A.
    Decorated linear order types and the theory of concatenation.
    Logic Colloquium 2007. Cambridge: Cambridge University Press, 2010 - (Delon, F.; Kohlenbach, U.; Maddy, P.; Stephan, F.), s. 1-13. ISBN 978-0-521-76065-2.
    [Logic Colloquium 2007. Wroclaw (PL), 14.07.2007-19.07.2007]
    Grant CEP: GA AV ČR IAA1019401; GA MŠk(CZ) 1M0545
    Výzkumný záměr: CEZ:AV0Z10190503
    Klíčová slova: linear order * theory of concatenation
    Kód oboru RIV: BA - Obecná matematika

    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.
    Trvalý link: http://hdl.handle.net/11104/0190897
    Název souboruStaženoVelikostKomentářVerzePřístup
    Pudlak1.pdf1220.6 KBAutorský postprintpovolen