连续 Scott 秩的界
逻辑
2019-08-02 v1
摘要
将建立由 Ben Yaacov、Doucha、Nies 和 Tsankov 发展的度量结构的连续 Scott 秩的 Nadel 有效界的类比:设 为具有码 的连续逻辑语言。设 为具有码 的一致连续性的弱模。设 为可数 -预结构。设 表示 的完备化结构。则 ,即相对于 的丘奇-克莱尼序数。
引用
@article{arxiv.1908.00179,
title = {Bounds on Continuous Scott Rank},
author = {William Chan and Ruiyuan Chen},
journal= {arXiv preprint arXiv:1908.00179},
year = {2019}
}