Browsing by Author "e03ea980-1736-496f-b3a3-4317ac80ac76"
Now showing items 1-1 of 1
-
Barceló Baeza, Pablo; Libkin, Leonid (Tech Univ Braunschweig, 2016)Our goal is to show that the standard model-theoretic concept of types can be applied in the study of order-invariant properties, i.e., properties definable in a logic in the presence of an auxiliary order relation, hut ...