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.

Printable View

- March 7th 2010, 12:33 PMselenne431Intitial Segments, Posets
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.