Non-permutation invariant Borel quantifiers

Details Non-permutation invariant Borel quantifiers Non-permutation invariant Borel quantifiers

2010-03-12

arxiv.org/abs/1003.2592v1

Mathematics

Logic

10 pages

Scientific paper

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.

Affiliated with

Also associated with

No associations

Rating

Non-permutation invariant Borel quantifiers does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Non-permutation invariant Borel quantifiers, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Non-permutation invariant Borel quantifiers will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-129481