关于规范基和内在性准则
On canonical bases and internality criteria
摘要:
给出了有限秩稳定理论中的一个类型是(几乎)内部的一个给定的非模极小型的一个准则。动机来自结果坎帕纳这给标准紧凑复杂的解析空间是代数(即Moishezon),在存在的“生成”家庭的代数子簇。一个模型理论的类比/概括坎帕纳的结果给出的假设下,该理论具有“典型的基础属性”(CBP),一个属性,这是turtured举行在所有稳定的有限秩理论,并指出,类型的典型基础上实现几乎是内部的最小类型的理论。
英文摘要:
A criterion is given for a type in a finite rank stable theory to be (almost) internal to a given nonmodular minimal type. The motivation comes from results of Campana which give criteria for compact complex analytic spaces to be algebraic (namely Moishezon), in terms of the existence of "generating" families of algebraic subvarieties. A model-theoretic anologue/generalisation of Campana's results is given under the hypothesis that the theory has the "canonical base property" (CBP), a property that is conjectured to hold in all stable finite rank theories and which states that the type of the canonical base over a realisation is almost internal to the minimal types of the theory.
机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。