pith. sign in

arxiv: 1003.2592 · v1 · submitted 2010-03-12 · 🧮 math.LO

Non-permutation invariant Borel quantifiers

classification 🧮 math.LO
keywords invariantomegaborelclosedcountabledefinableeveryfixed
0
0 comments X
read the original abstract

Every permutation invariant Borel subset of the space of countable structures is definable in $\La_{\omega_1\omega}$ 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_{\omega_1\omega}(Q)$-definable sets.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.