Not signed in (Sign In)

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

  1.  
    The following two questions are duplicates: http://mathoverflow.net/questions/29945/forcing-as-a-tool-to-prove-theorems and http://mathoverflow.net/questions/42569/examples-of-zfc-theorems-proved-via-forcing

    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.