Browsing Waterloo Research by Subject "infinitary logic"
Now showing items 1-1 of 1
-
Which Classes of Structures are Both Pseudo-Elementary and Definable by an Infinitary Sentence
(Cambridge University Press, 2023-03-15)When classes of structures are not first-order definable, we might still try to find a nice description. There are two common ways for doing this. One is to expand the language, leading to notions of pseudo-elementary ...