Not signed in (Sign In)

Vanilla 1.1.9 is a product of Lussumo. More Information: Documentation, Community Support.

    The following two questions are duplicates: and

    They didn't intend to be, the first one was phrased specifically about whether a result (the Erdős-Rado theorem) could be proved in a certain way, but no answer addresses this, and instead the answers given have made both questions identical.

    Would it be possible to merge the two threads? If not, I think the moderators should close one as duplicate. Anyway, I am starting this discussion here in case somebody has a different suggestion.