Possible Duplicate:
Examples of ZFC theorems proved via forcing
In Partitions of partial orders , we see two proofs of a corollary. One of them is an argument without forcing while the other one uses a method of forcing to justify the existence of objects in the ground model having certain properties. Philosophically, this is different than forcing to produce new models of set theory to show relative consistency results (e.g. $\lnot$CH, the failure of the continuum hypothesis with ZFC).
My question is:
Are there results that have relatively simple proofs via forcing arguments of the first kind but seem to become much more technical when carried out without the use of forcing?
As a related example, if we have a supercompact cardinal, then we can force to an extension $V[G]$ where PFA (the proper forcing axiom), which asserts the existence of $\mathcal{D}$-generic filters for every $\omega_1$ collection of dense subsets $\mathcal{D}$ from a proper partial order, is true. To do this, we fix a proper partial order $\mathbb{Q} \in V[G]$ and lift a ground model $\theta$-supercompactness embedding $j_{\mathbb{Q}}: V \rightarrow M$ to $j_{\mathbb{Q}}: V[G] \rightarrow M[j(G)]$ in $V[j(G)]$ for some sufficiently large $\theta$. In $V[j(G)]$, we then argue that we've performed enough forcing for $V[G]$ to have a filter meeting any collection of $\omega_1$ many dense subsets from $\mathbb{Q}$.