Non-permutation invariant Borel quantifiers

arXiv1003.2592MaRDI QIDQ6218014FDOQ6218014

Authors: Fredrik Engström, Philipp Schlicht

Publication date: 12 March 2010

Abstract: Every permutation invariant Borel subset of the space of countable structures is definable in

L a_{o m e g a_{1} o m e g a}

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_{i n f t y}

, there is a closed binary quantifier

Q

such that the

G

-invariant subsets of the space of countable structures are exactly the

L a_{o m e g a_{1} o m e g a} (Q)

-definable sets.

This page was built for publication: Non-permutation invariant Borel quantifiers

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6218014)