most recent 30 from http://mathoverflow.net 2013-05-22T18:12:14Z http://mathoverflow.net/feeds/user/10177 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/1924/what-are-some-reasonable-sounding-statements-that-are-independent-of-zfc/42788#42788 Greg Oman 2010-10-19T14:13:30Z 2010-10-19T14:13:30Z

<p>Here's one (a corollary of some work I did with Keith Kearnes):</p> <p>It is undecidable in ZFC whether there exists a commutative Noetherian domain of size aleph_{2} with a finite residue field.</p>