Browsing Waterloo Research by Author "Csima, Barbara F."
Now showing items 1-2 of 2
-
Which Classes of Structures are Both Pseudo-Elementary and Definable by an Infinitary Sentence
Boney, Will; Csima, Barbara F.; Day, Nancy A.; Harrison-Trainor, Matthew (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 ... -
Which classes of structures are both pseudo-elementary and definable by an infinitary sentence?
Boney, Will; Csima, Barbara F.; Day, Nancy A.; Harrison-Trainor, Matthew (2019-03-21)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 ...