中文

连续 Scott 秩的界

逻辑 2019-08-02 v1

摘要

将建立由 Ben Yaacov、Doucha、Nies 和 Tsankov 发展的度量结构的连续 Scott 秩的 Nadel 有效界的类比:设 L\mathscr{L} 为具有码 L^\hat{\mathscr{L}} 的连续逻辑语言。设 Ω\Omega 为具有码 Ω^\hat{\Omega} 的一致连续性的弱模。设 D\mathcal{D} 为可数 L\mathscr{L}-预结构。设 Dˉ\bar{\mathcal{D}} 表示 D\mathcal{D} 的完备化结构。则 SRΩ(Dˉ)ω1L^Ω^D\mathrm{SR}_\Omega(\bar{D}) \leq \omega_1^{\hat{\mathscr{L}}\oplus\hat{\Omega}\oplus\mathcal{D}},即相对于 L^Ω^D\hat{\mathscr{L}}\oplus\hat{\Omega}\oplus\mathcal{D} 的丘奇-克莱尼序数。

关键词

引用

@article{arxiv.1908.00179,
  title  = {Bounds on Continuous Scott Rank},
  author = {William Chan and Ruiyuan Chen},
  journal= {arXiv preprint arXiv:1908.00179},
  year   = {2019}
}