关于简单理论之归约的叉拓扑

设 $T$ 为简单理论，$T^-$ 为 $T$ 的归约。对变量 $x$，称 ${{\cal C}}$ 的一个 $\emptyset$-不变集 $\Gamma(x)$ 为\emph{通用转导子}，若其满足如下性质：对每一个公式 $\phi^-(x,y)\in L^-$ 及每一个 $a$，$\phi^-(x,a)$ $L^-$-叉于 $\emptyset$ 当且仅当 $\Gamma(x)\wedge \phi^-(x,a)$ $L$-叉于 $\emptyset$。我们证明对任意 $x$ 均存在最大的通用转导子 $\tilde\Gamma_x$，且它是类型可定义的。特别地，$S_y(T)$ 上的叉拓扑细于 $S_y(T^-)$ 上的叉拓扑。此外，我们用 Stone 空间上的某种拓扑刻画了通用转导子的集合，并证明 $\tilde\Gamma_x$ 是唯一可用参数 $L^-$-类型定义的通用转导子。在 $T^-$ 具有 wnfcp（弱 nfcp）且 $T$ 为其可爱对理论的情形，我们证明 $\tilde\Gamma_x=(x=x)$，并在 $T^-$ 具有 nfcp 时给出其所有通用转导子的更精确描述。