Prove that for all in , and . Notation: denotes the first uncountable ordinal. above denotes the initial segment, denotes the product of posets, denotes the sum of posets. . denotes order isomorphic.
Follow Math Help Forum on Facebook and Google+
View Tag Cloud