论文标题
O最小理论中的主导单型
The domination monoid in o-minimal theories
论文作者
论文摘要
我们研究了在O最低理论的背景下，全球不变类型的模量统治与等效性。我们将其计算减少到证明它是由1型类别生成的问题。我们表明这是在实际封闭场中存放的，在该封闭场中，该单体的发电机对应于怪物模型的不变凸点。结合ARXIV：1702.06504，这使我们能够在弱O最小封闭估值领域中计算统治性单体。
We study the monoid of global invariant types modulo domination-equivalence in the context of o-minimal theories. We reduce its computation to the problem of proving that it is generated by classes of 1-types. We show this to hold in Real Closed Fields, where generators of this monoid correspond to invariant convex subrings of the monster model. Combined with arxiv:1702.06504, this allows us to compute the domination monoid in the weakly o-minimal theory of Real Closed Valued Fields.
