论文标题
基金会排名和超图
Foundation ranks and supersimplicity
论文作者
论文摘要
我们介绍了基于部分类型之间分裂的关系的新基础等级。我们将DU称为这个等级。我们还引入了一种新的方法，将D在公式上定义为基础等级。这样，SU，DU和D是基础的基础等级，基于分裂的关系。我们研究这些等级之间的属性和关系。接下来，我们讨论Supersimple类型的可能定义。这是一个概念，即在以前的文献中尚不清楚。在本文中，我们给出了扎实的论点，以建立该概念及其属性的具体定义。我们还看到，杜的特征是超图，而d则不是。
We introduce a new foundation rank based in the relation of dividing between partial types. We call DU to this rank. We also introduce a new way to define the D rank over formulas as a foundation rank. In this way, SU, DU and D are foundation ranks based in the relation of dividing. We study the properties and the relations between these ranks. Next, we discuss the possible definitions of a supersimple type. This is a concept that it is not clear in the previous literature. In this paper we give solid arguments to set up a concrete definition of this concept and its properties. We also see that DU characterizes supersimplicity, while D not.
