Browsing Waterloo Research by Author "Csima, Barbara F."
Now showing items 1-1 of 1
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 ...