Non-permutation invariant Borel quantifiers

Fredrik Engström, Philipp Schlicht

Every permutation invariant Borel subset of the space of countable structures is definable in $\La_{ω_1ω}$ by a theorem of Lopez-Escobar. We prove variants of this theorem relative…