Model theory of class-sized logics

Jonathan Osinski, Trevor Wilson

We study compactness and Löwenheim-Skolem properties of fragments of the class-sized logic ${\mathcal{L}}_{\infty \infty }$ and of class-sized versions of second-order and sort logics…