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