Non-isomorphism invariant Borel quantifiers
HTML articles powered by AMS MathViewer
- by Fredrik Engström and Philipp Schlicht
- Proc. Amer. Math. Soc. 139 (2011), 4487-4496
- DOI: https://doi.org/10.1090/S0002-9939-2011-10849-9
- Published electronically: April 21, 2011
- PDF | Request permission
Abstract:
Every isomorphism invariant Borel subset of the space of structures on the natural numbers in a countable relational language is definable in ${\mathscr {L}}_{\omega _1\omega }$ by a theorem of Lopez-Escobar. We derive variants of this result for stabilizer subgroups of the symmetric group ${\mathrm {Sym}}(\mathbb {N})$ for families of relations and non-isomorphism invariant generalized quantifiers on the natural numbers such as “for all even numbers”. Moreover we produce a binary quantifier $Q$ for every closed subgroup of ${\mathrm {Sym}}(\mathbb {N})$ such that the Borel sets of structures invariant under the subgroup action are exactly the sets of structures definable in ${\mathscr {L}}_{\omega _1\omega }(Q)$.References
- Howard Becker and Alexander S. Kechris, The descriptive set theory of Polish group actions, London Mathematical Society Lecture Note Series, vol. 232, Cambridge University Press, Cambridge, 1996. MR 1425877, DOI 10.1017/CBO9780511735264
- Su Gao, Invariant descriptive set theory, Pure and Applied Mathematics (Boca Raton), vol. 293, CRC Press, Boca Raton, FL, 2009. MR 2455198
- Alexander S. Kechris, Classical descriptive set theory, Graduate Texts in Mathematics, vol. 156, Springer-Verlag, New York, 1995. MR 1321597, DOI 10.1007/978-1-4612-4190-4
- E. G. K. Lopez-Escobar, An interpolation theorem for denumerably long formulas, Fund. Math. 57 (1965), 253–272. MR 188059, DOI 10.4064/fm-57-3-253-272
- Robert Vaught, Invariant sets in topology and logic, Fund. Math. 82 (1974/75), 269–294. MR 363912, DOI 10.4064/fm-82-3-269-294
Bibliographic Information
- Fredrik Engström
- Affiliation: Department of Philosophy, Linguistics and Theory of Science, University of Gothenburg, Box 200, 405 30 Göteborg, Sweden
- Email: fredrik.engstrom@gu.se
- Philipp Schlicht
- Affiliation: Mathematisches Institut, Universität Bonn, Endenicher Allee 60, 53115 Bonn, Germany
- Email: schlicht@math.uni-bonn.de
- Received by editor(s): March 19, 2010
- Received by editor(s) in revised form: October 19, 2010
- Published electronically: April 21, 2011
- Additional Notes: Part of the work in this paper was done while visiting the Institut Mittag-Leffler. The authors would like to thank the Institut Mittag-Leffler for support and also the anonymous referee for several valuable comments and suggestions.
The first author was partially supported by the EUROCORE LogICCC LINT program and the Swedish Research Council.
The second author received support from the European Science Foundation for the activity ‘New Frontiers of Infinity: Mathematical, Philosophical and Computational Prospects’ - Communicated by: Julia Knight
- © Copyright 2011
American Mathematical Society
The copyright for this article reverts to public domain 28 years after publication. - Journal: Proc. Amer. Math. Soc. 139 (2011), 4487-4496
- MSC (2010): Primary 03E15, 03C80
- DOI: https://doi.org/10.1090/S0002-9939-2011-10849-9
- MathSciNet review: 2823094