Let be the monster model of a complete first-order theory . If is a subset of , following D. Zambella we consider $e()={^\prime\mid (,)\equiv (,^\prime)}o()={^\prime\mid (,)\cong (,^\prime)}$. The general question we ask is when ? The case where is -invariant for some small set is rather straightforward: it just mean that is definable. We investigate the case where is not invariant over any small subset. If T is geometric and is an -structure (in the sense of A. Berenstein and E. Vassiliev) or a lovely pair, we get some answers. In the case of -rank one, is always different from . In the o-minimal case, everything can happen, depending on the complexity of the definable closure.

生成讲解博客的中文版本

生成AI智能校验的中文版本