| 同构于U1tu的传递模型中序数的性质 |
| |
| 引用本文： | 阎林.同构于U1tu的传递模型中序数的性质[J].河南师范大学学报(自然科学版),1993(1). |
| |
| 作者姓名： | 阎林 |
| |
| 作者单位： | 河南师范大学计算机系 |
| |
| 摘 要： | 对于可测基数K,有非主K-完备的超滤∪■P(K),由此可得到ZFC的模型∪ltu以及同构于∪ltu的传递模型M.本文讨论了M中序数的一些性质,得出了如下结论:1)若f:K→Ord为函数,则Π(f])为M中序数(Π:∪ltu→M为同构映射);2)M中的基数Π(j_u(k))不为∨中的基数(j_u=∨→∪ltu为自然嵌入);3)Π与自然嵌入ju的复合Π·ju不为满射,由此可推知ju不为满射。
|
| 关 键 词： | 可测基数 非主K-完备的超滤 |
THE PROPERTIES OF ORDINDALS IN THE TRANSITIVE MODEL |
| |
| BEING ISOMORPHIC TO ULtu.THE PROPERTIES OF ORDINDALS IN THE TRANSITIVE MODEL[J].Journal of Henan Normal University(Natural Science),1993(1). |
| |
| Authors: | BEING ISOMORPHIC TO ULtu |
| |
| Institution: | BEING ISOMORPHIC TO ULtu |
| |
| Abstract: | If K is a measurable cardind,thn there is a nonprincipal K—complete Ultrafilter U■p(K).So we have a model Ultu of ZFC and a transitive model M which is isomorphic to Ultu.In this paper wediscuss some properties of ordinals in M,drawing these conclusions:1)If f:K-Ord is a function,then Π(f])is a ordinal in M(Π:Ultu→M,the isomorphic map);2)The cardinal Π(ju(K))in M is not a cardinal in ν(ju:ν→Ultu,the natural enbedding);3)Π·ju is not a surjection,from this ju is not surjective can bereached. |
| |
| Keywords: | measurable cardinal nonprincipal K-complete ultrafilter |
| 本文献已被 CNKI 等数据库收录！ |
|
