Browsing by Subject "Finite model theory"
Now showing items 1-1 of 1
-
(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 ...