Počet záznamů: 1
Decorated linear order types and the theory of concatenation
- 1.
SYSNO ASEP 0351064 Druh ASEP C - Konferenční příspěvek (mezinárodní konf.) Zařazení RIV D - Článek ve sborníku Název Decorated linear order types and the theory of concatenation Tvůrce(i) Čačić, V. (HR)
Pudlák, Pavel (MU-W) RID, SAI
Restall, G. (AU)
Urquhart, A. (CA)
Visser, A. (NL)Zdroj.dok. Logic Colloquium 2007. - Cambridge : Cambridge University Press, 2010 / Delon F. ; Kohlenbach U. ; Maddy P. ; Stephan F. - ISBN 978-0-521-76065-2 Rozsah stran s. 1-13 Poč.str. 13 s. Akce Logic Colloquium 2007 Datum konání 14.07.2007-19.07.2007 Místo konání Wroclaw Země PL - Polsko Typ akce WRD Jazyk dok. eng - angličtina Země vyd. GB - Velká Británie Klíč. slova linear order ; theory of concatenation Vědní obor RIV BA - Obecná matematika CEP IAA1019401 GA AV ČR - Akademie věd 1M0545 GA MŠMT - Ministerstvo školství, mládeže a tělovýchovy CEZ AV0Z10190503 - MU-W (2005-2011) Anotace 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. Pracoviště Matematický ústav Kontakt Jarmila Štruncová, struncova@math.cas.cz, library@math.cas.cz, Tel.: 222 090 757 Rok sběru 2011
Počet záznamů: 1