1 paper
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…