节点文献
非标准模型中*-映射的内部刻画
*-Mapping of the nonstandard model
【摘要】 介绍了超结构的超幂模型及其有关结论,进一步给出了M-映射和e-映射的定义及其性质,得到了*-映射的内部构造以及*-映射的性质.最后用*-映射的内部构造证明了转换原理.
【Abstract】 Firstly,the ultrapowers of the superstructure and some related conclusions are introduced.Then the definitions and properties of the M-mapping and e-mapping are presented.Moreover,the natural construction of *-mapping is given and a property of *-mapping is proved.Finally,the transfer principle is proved by the natural construction of*-mapping.
【关键词】 超幂模型；
M-映射；
e-映射；
*-映射；
转换原理；
【Key words】 ultrapowers model； M-mapping； e-mapping； *-mapping； transfer principle；
【Key words】 ultrapowers model； M-mapping； e-mapping； *-mapping； transfer principle；
【基金】 陕西省自然科学基金资助项目(2007A12);陕西省教育厅专项科学研究项目(11JK0507)
- 【文献出处】 东北师大学报(自然科学版) ,Journal of Northeast Normal University(Natural Science Edition) , 编辑部邮箱 ,2016年01期
- 【分类号】O141
- 【下载频次】39