Number of the records: 1
Decorated linear order types and the theory of concatenation
- 1.
SYSNO ASEP 0351064 Document Type C - Proceedings Paper (int. conf.) R&D Document Type Conference Paper Title Decorated linear order types and the theory of concatenation Author(s) Čačić, V. (HR)
Pudlák, Pavel (MU-W) RID, SAI
Restall, G. (AU)
Urquhart, A. (CA)
Visser, A. (NL)Source Title Logic Colloquium 2007. - Cambridge : Cambridge University Press, 2010 / Delon F. ; Kohlenbach U. ; Maddy P. ; Stephan F. - ISBN 978-0-521-76065-2 Pages s. 1-13 Number of pages 13 s. Action Logic Colloquium 2007 Event date 14.07.2007-19.07.2007 VEvent location Wroclaw Country PL - Poland Event type WRD Language eng - English Country GB - United Kingdom Keywords linear order ; theory of concatenation Subject RIV BA - General Mathematics R&D Projects IAA1019401 GA AV ČR - Academy of Sciences of the Czech Republic (AV ČR) 1M0545 GA MŠMT - Ministry of Education, Youth and Sports (MEYS) CEZ AV0Z10190503 - MU-W (2005-2011) Annotation 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. Workplace Mathematical Institute Contact Jarmila Štruncová, struncova@math.cas.cz, library@math.cas.cz, Tel.: 222 090 757 Year of Publishing 2011
Number of the records: 1