Non-permutation invariant Borel quantifiers

Abstract

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 to fixed relations and fixed non-permutation invariant quantifiers. Moreover we show that for every closed subgroup $G$ of the symmetric group $S_{\infty }$, there is a closed binary quantifier $Q$ such that the $G$-invariant subsets of the space of countable structures are exactly the $\La_{ω_1ω}(Q)$-definable sets.

10 pages