非标准模型中*-映射的内部刻画

摘要

介绍了超结构的超幂模型及其有关结论,进一步给出了M-映射和e-映射的定义及其性质,得到了*-映射的内部构造以及*-映射的性质.最后用*-映射的内部构造证明了转换原理.