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

- Mar 7th 2010, 12:42 PMvaevictis59Segments, 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.