论文部分内容阅读
证明了二型序数具有如下性质:对任一二型类良序结构[A,R],存在惟一的二型序数B,使得[B,E]与[A,R]同构,特别地对良序聚会[A,R],存在惟一的二型序数α*∈ON,使得[α*,∈]与[A,R]同构.由此性质可知,每个由良序聚合组成的同构等价类中,仅仅含有一个二型序数,即从同构的意义来讲,二型序数结构就是良序二型类结构.