非标准模型的具体构造

摘要

在非标准超幂模型下，讨论了个体集S、指标集I和滤子F 对非标准模型的影响，从而给出了含有非标准元的非标准模型的构造。在此基础上，得到了非标准扩大模型和饱和模型的具体构造。%In the nonstandard ultrapowers model,the effective factors of the nonstandard model such as the individu-als S,index set I and the filter F are discussed.Then the construction of the nonstandard model that contains non-standard elements is given.And based on it,the constructions of the nonstandard enlarged model and the saturated model are given.