Negative Partition Relations for Ordinal
โ
Carl Darby
๐
Article
๐
1999
๐
Elsevier Science
๐
English
โ 177 KB
For ordinals :, ;, and #, the expression : ร % ( ;, #) 2 means there is a partition of the pairs from :, [:] 2 =2 0 \_ 2 1 such that for any X :, if the order type of X is ; then [X] 2 3 2 0 and if the order type of X is # then [X] 2 3 2 1 . It is shown that if :<| 1 is multiplicatively decomposable