Browsing Waterloo Research by Subject "extensions of first order logic"
Now showing items 1-1 of 1
(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 ...