Non-permutation invariant Borel quantifiers
@article{Engstrom2010NonpermutationIB, title={Non-permutation invariant Borel quantifiers}, author={F. Brett Engstrom and Philipp Schlicht}, journal={arXiv: Logic}, year={2010} }
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…
References
SHOWING 1-6 OF 6 REFERENCES
Invariant Descriptive Set Theory
- Mathematics
- 2008
Preface Polish Group Actions Preliminaries Polish spaces The universal Urysohn space Borel sets and Borel functions Standard Borel spaces The effective hierarchy Analytic sets and SIGMA 1/1 sets…
Classical descriptive set theory
- Mathematics
- 1987
Descriptive set theory has been one of the main areas of research in set theory for almost a century. This text attempts to present a largely balanced approach, which combines many elements of the…
The Descriptive Set Theory of Polish Group Actions: DESCRIPTIVE SET THEORY
- Physics
- 1996
the descriptive set theory of polish group actions are a good way to achieve details about operating certainproducts. Many products that you buy can be obtained using instruction manuals. These user…
Classical descriptive set theory, Graduate Texts in Mathematics
- Classical descriptive set theory, Graduate Texts in Mathematics
- 1995