一类弱o极小理论的可定义选择

Michael C. Laskowski; Christopher S. Shaw

doi:10.1007/s00153-016-0490-y

一类弱o极小理论的可定义选择

逻辑 2016-11-17 v3

作者: Michael C. Laskowski , Christopher S. Shaw

在 arXiv 上查看 ↗ PDF ↗ DOI ↗

摘要

给定一个带有群运算的o极小结构 ${\mathcal M}$ ，我们证明对于恰当凸子集 $U$ ，扩张结构 ${\mathcal M}'=({\mathcal M},U)$ 的理论具有可定义Skolem函数当且仅当 ${\mathcal M}'$ 是赋值的。作为推论，我们得到一个初等式证明：任何此类 ${\mathcal M}'$ 的理论不满足可定义选择。

关键词

o极小结构弱o极小理论可定义选择 Skolem函数赋值结构凸子集

引用

@article{arxiv.1505.02147,
  title  = {Definable choice for a class of weakly o-minimal theories},
  author = {Michael C. Laskowski and Christopher S. Shaw},
  journal= {arXiv preprint arXiv:1505.02147},
  year   = {2016}
}

备注

11 pages

一类弱o极小理论的可定义选择

摘要

关键词

引用

备注

相关论文