二型序数与良序二型类的同构  

Isomorphism Between TwoType Ordinals and WellOrdering TwoType Classes Structues

作　　者：栾静闻[1] 刘恒兴[1] 

机构地区：[1]武汉大学数学科学学院,湖北武汉430072

出　　处：《武汉大学学报（自然科学版）》2001年第1期25-28,共4页Journal of Wuhan University(Natural Science Edition)

基　　金：国家自然科学基金!资助项目 (1 9871 0 74)

摘　　要：证明了二型序数具有如下性质 :对任一二型类良序结构 [A ,R],存在惟一的二型序数B ,使得 [B ,E]与 [A ,R]同构 ,特别地对良序聚会 [A ,R ],存在惟一的二型序数α ∈ON ,使得 [α ,∈ ]与 [A ,R ]同构 .由此性质可知 ,每个由良序聚合组成的同构等价类中 ,仅仅含有一个二型序数 ,即从同构的意义来讲 ,二型序数结构就是良序二型类结构 .Presents that twotype ordinals have the following property:for every wellordering twotype class structure[A,R]there exists a unique twotype ordinal B such that [A,R]is isomorphic to [B,E].Particularly, for every wellordering conlomerate structure[A,R]there exists a unique twotype ordinal number α~* that [A,R]is isomorphic to [α*,∈].Therefore, we know that in an isomorphism sense wellordering twotype class stuctures are twotype ordinal structures.

关 键 词：二型序数 同构 良序二型类 良序结构 良序聚合 超限递归原理 

分 类 号：O144.1[理学—数学]