远端结构的正则引理

摘要

众所周知，具有有界复杂度的半代数边关系的图族比任意图满足更强的正则性，并且可以分解为非常均匀的半代数块，误差很小（参见[33，2，16，18]）。我们证明了对于一大类一般稳定测度，在满足称为远度的模型理论性质的结构中，具有一致定义的边关系的图族可以获得类似的结果。此外，厌恶性是这些强正则性的特征。这尤其适用于可定义为任意o-极小结构和$第页$-阿迪斯。