论文部分内容阅读
对于可测基数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不为满射。