most recent 30 from http://mathoverflow.net 2013-06-18T23:19:55Z http://mathoverflow.net/feeds/user/12736 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/42569/examples-of-zfc-theorems-proved-via-forcing/54350#54350 Oren Kolman 2011-02-04T19:39:14Z 2011-02-04T19:39:14Z

<p>The Gitik-Shelah theorem is also perhaps an example, first proved with forcing by its discoverers, and then without by Anastasis Kamburelis and David Fremlin independently: </p> <p>Moti Gitik, Saharon Shelah, Forcing with ideals and simple forcing notions, Israel J. Math., 68 (1989), 129-160.</p> <p>And the same authors have more in:</p> <p>More on simple forcing notions and forcing with ideals, APAL, 59 (1993), 219-238.</p>