中文

具有远端 Shelah 膨胀的理论

逻辑 2019-11-26 v4

摘要

我们证明,一个完备的一阶理论 TT 是远端的,当且仅当它有一个模型 MM,使得 MM 的 Shelah 膨胀的理论是远端的。

关键词

引用

@article{arxiv.1801.02346,
  title  = {Theories with distal Shelah expansions},
  author = {Gareth Boxall and Charlotte Kestner},
  journal= {arXiv preprint arXiv:1801.02346},
  year   = {2019}
}