Scifaro

中文

关于 preclude universal 模型存在的一阶理论的性质

逻辑 2007-05-23 v1

作者: Mirna Džamonja , Saharon Shelah

在 arXiv 上查看 ↗ PDF ↗

摘要

在本文中我们研究在某些基数算术假设下阻止一阶理论拥有 universal 模型的一些性质。我们的结果给出了一个新的句法条件,即 oak 性质,当某些蕴含 GCH 失败(且接近于 SCH 失败)的基数算术假设成立时,它是理论在基数 lambda 下没有 universal 模型的充分条件。

关键词

一阶理论 universal 模型基数算术 oak 性质 GCH SCH

引用

@article{arxiv.math/0009078,
  title  = {On properties of theories which preclude the existence of universal models},
  author = {Mirna Džamonja and Saharon Shelah},
  journal= {arXiv preprint arXiv:math/0009078},
  year   = {2007}
}