English

Non-permutation invariant Borel quantifiers

Logic 2010-03-15 v1

Abstract

Every permutation invariant Borel subset of the space of countable structures is definable in \Laω1ω\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 GG of the symmetric group SS_{\infty}, there is a closed binary quantifier QQ such that the GG-invariant subsets of the space of countable structures are exactly the \Laω1ω(Q)\La_{\omega_1\omega}(Q)-definable sets.

Keywords

Cite

@article{arxiv.1003.2592,
  title  = {Non-permutation invariant Borel quantifiers},
  author = {Fredrik Engström and Philipp Schlicht},
  journal= {arXiv preprint arXiv:1003.2592},
  year   = {2010}
}

Comments

10 pages

R2 v1 2026-06-21T14:57:16.968Z