超依赖理论中的极小类型
逻辑
2007-11-02 v1
摘要
我们给出了在 o-极小结构中可定义的理论解释实闭域的必要和充分几何条件。证明过程涉及对有限秩超玫瑰色依赖理论中刺极小类型的分析。我们证明了此类理论由刺极小类型坐标化，且此类类型是不稳定的，当且仅当其每个非代数扩张都是不稳定的。我们得出结论：一个类型是稳定的，当且仅当它允许在刺极小稳定类型中进行坐标化。我们还表明，非平凡的刺极小稳定类型可以扩张稳定集。
引用
@article{arxiv.0711.0122,
title = {Minimal types in super-dependent theories},
author = {Assaf Hasson and Alf Onshuus},
journal= {arXiv preprint arXiv:0711.0122},
year = {2007}
}