摘要
We define a new topology on the space of strong types on a subset A of a model of a given theory and prove that either|S<sub>p</sub><sup>*</sup>（A）|【<sub>0</sub> or|S<sub>p</sub><sup>*</sup>（A）|≥2<sup><</sup>sub>0</sub>.We also deduce an open map theorem.
We define a new topology on the space of strong types on a subset A of a model of a given theory and prove that either|S<sub>p</sub><sup>*</sup>（A）|<<sub>0</sub> or|S<sub>p</sub><sup>*</sup>（A）|≥2<sup><</sup>sub>0</sub>.We also deduce an open map theorem.
