对偶 $(aleph\_n,aleph\_0)$ 可能无法满足 $aleph\_0$--紧性

摘要：对于n=4，一些可数的一阶理论T的一致结果是：T在K中没有模型，而T的每个有限子集在K中有模型。我们还展示了如何在n=2的情况下证明这个结果。

作者：Saharon Shelah

论文ID：math/0404240

分类：Logic

分类简称：math.LO

提交时间：2007-05-23

PDF 下载： 英文版 中文版pdf翻译中