th-分裂、代数独立性和Rosy理论示例
摘要：在之前的一篇论文中，我们提出了th-独立性和h-秩的概念，这些概念定义了一个叫做“玫瑰色”的理论类别中的几何独立性关系。我们证明了玫瑰色的理论包括简单的和o-极小的理论，并且对于任何稳定分叉猜想为真的理论，h-分叉与分叉独立性是一致的。 在本文中，我们继续研究th-分叉的性质，并找到更多的玫瑰色理论的例子。在本文中我们证明了一些关于玫瑰色理论的替代表征和一些用于证明和分析特定情况下玫瑰色性质的工具。最后，我们利用这些工具找到了两个玫瑰色非简单理论的例子：伪实闭域（PRC-域）和由Marcus Tressl定义的一个大型微分域的均匀伴随理论。
作者：Alf Onshuus
论文ID：math/0306003
分类：Logic
分类简称：math.LO
提交时间：2007-05-23