中文

Low是Keisler序中的一条分割线

逻辑 2017-04-06 v1

摘要

我们在ZFCZFC中证明,low理论类构成了Keisler序中的一条分割线。即,如果TT是low且TTT' \trianglelefteq T,则TT'是low。我们还证明了存在极小非low理论TcasT_{cas}

关键词

引用

@article{arxiv.1704.01537,
  title  = {Low is a Dividing Line in Keisler's Order},
  author = {Douglas Ulrich},
  journal= {arXiv preprint arXiv:1704.01537},
  year   = {2017}
}

备注

15 pages