群构型的 o-极小视角
逻辑
2020-06-01 v2
摘要
o-极小结构中的群构型正如稳定情形一样，产生一个类型可定义群在部分类型上的传递作用。由于 ，o-极小证明比 Hrushovski 的原始论证显著更简单。我们给出了若干更适合 o-极小环境的等价版本，以函数语言及某个 -元关系表述。此外，考虑了以下问题：是否每个可定义连通的类型可定义群都可被可定义地嵌入到同维的可定义群中？给出了两个具有肯定答案的简单情形。
引用
@article{arxiv.1909.09994,
title = {An o-minimalist view of the group configuration},
author = {Ya'acov Peterzil},
journal= {arXiv preprint arXiv:1909.09994},
year = {2020}
}