| http://www.w3.org/ns/prov#value | - is needed to order it.> No, B' is a subset of A which is not countable, in general.Your initial point about Erdos-Rado stating that they avoid AC is a repetition of my point. In summary, the Erdos-Rado result proves Canonical Ramsey without AC whereas Rado deduces Canonical Ramsey from AC.It is the second paper that errs in not mentioning choice, while comparing itself to the first paper.Paul
|
