简单齐次模型

几何稳定性理论是一套强有力的模型论工具，可导出简单一阶理论的模型的结构性结果。典型结果给出了该理论模型中可定义群的特征刻画。该工作在理论的普遍域（饱和模型）中进行，其中可定义关系的超滤子上的 Stone 空间拓扑是紧的。此处我们在更一般的齐次模型背景下操作，其 Stone 拓扑通常非紧。本文研究强 lambda-齐次模型 (M,R)，其中 R 的元素诱导出具有有界特征的对称且传递的独立概念。这一使用称为“dividing”的组合条件定义的独立概念，在 (M,R) 饱和时与 forking 独立一致。对饱和结构的几何稳定性理论发展至关重要的概念，即典范基，也被证明在此背景下存在。