th-独立性的属性和后果

摘要:我们研究了一个新的独立性概念,由Scanlon提出(th-独立性)。我们证明,在一个大类理论中(包括所有简单理论),这个概念具有作为这些模型中适当几何结构所需的许多属性。我们还证明,这个定义与稳定的、超简单的和o-极小理论中的通常独立性概念一致。 最后,我们发现在简单理论中限制th-独立性的许多证明和结果似乎表明th-独立性与稳定分析猜想之间存在某种联系。特别是,我们证明,在任何满足这个猜想的简单理论中,我们的定义与经典定义一致。

作者:Alf Onshuus

论文ID:math/0205004

分类:Logic

分类简称:math.LO

提交时间:2007-05-23

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