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

二型序数与良序二型类的同构 Isomorphism Between TwoType Ordinals and WellOrdering TwoType Classes Structues 栾静闻 LUAN Jingwen 1 first-author 刘恒兴 LIU Hengxin 1 武汉大学数学科学学院,湖北,武汉,430072 武汉大学数学科学学院,湖北,武汉,430072 School of Mathematical Science,Wuhan Univetrsity School of Mathematical Science,Wuhan Univetrsity 证明了二型序数具有如下性质 :对任一二型类良序结构 [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. 二型序数 二型类 聚合 良序 同构 twotype ordinal twotype class conlomerate wellordering isomorphism O144 国家自然科学基金!资助项目 （1 9871 0 74） 2001-01-01 2021-04-01 1