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 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 of the symmetric group , there is a closed binary quantifier such that the -invariant subsets of the space of countable structures are exactly the -definable sets.
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