solidot新版网站常见问题,请点击这里查看。
消息
本文已被查看6965次
Bounded Invariant Equivalence Relations. (arXiv:1810.05113v1 [math.LO])
来源于:arXiv
We study strong types and Galois groups in model theory from a topological
and descriptive-set-theoretical point of view, leaning heavily on topological
dynamical tools. More precisely, we give an abstract (not model theoretic)
treatment of problems related to cardinality and Borel cardinality of strong
types, quotients of definable groups and related objecets, generalising (and
often improving) essentially all hitherto known results in this area. In
particular, we show that under reasonable assumptions, strong type spaces are
"locally" quotients of compact Polish groups. It follows that they are smooth
if and only if they are type-definable, and that a quotient of a type-definable
group by an analytic subgroup is either finite or of cardinality at least
continuum. 查看全文>>