Decorated linear order types and the theory of concatenation

Result code in IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985840%3A_____%2F10%3A00351064" target="_blank" >RIV/67985840:_____/10:00351064 - isvavai.cz</a>

Result on the web

—

DOI - Digital Object Identifier

—

Result language

angličtina

Original language name

Decorated linear order types and the theory of concatenation

Original language description

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.

Czech name

—

Czech description

—

Type

D - Article in proceedings

CEP classification

BA - General mathematics

OECD FORD branch

—

Project

Result was created during the realization of more than one project. More information in the Projects tab.

Continuities

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>Z - Vyzkumny zamer (s odkazem do CEZ)

Publication year

2010

Confidentiality

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Article name in the collection

Logic Colloquium 2007

ISBN

978-0-521-76065-2

ISSN

—

e-ISSN

—

Number of pages

13

Pages from-to

—

Publisher name

Cambridge University Press

Place of publication

Cambridge

Event location

Wroclaw

Event date

Jul 14, 2007

Type of event by nationality

WRD - Celosvětová akce

UT code for WoS article

—