摘要:有限词汇中的单调句子ψ的谱,即ψ的模型的基数集在合理条件下几乎是周期性的。第一个条件是每个模型都被称为“弱可分解”。第二个条件是我们限制自己在某个递归构建的良好模型类中。
作者:Saharon Shelah
论文ID:math/0405158
分类:Logic
分类简称:math.LO
提交时间:2007-05-23
PDF 下载: 英文版 中文版pdf翻译中