Search All of the Math Forum:
Views expressed in these public forums are not endorsed by
Drexel University or The Math Forum.


K_h
Posts:
419
Registered:
4/12/07


Re: Antifoundation axiom
Posted:
Mar 15, 2013 12:04 AM


"Shmuel (Seymour J.)Metz" wrote in message news:514221ad$7$fuzhry+tra$mr2ice@news.patriot.net...
> Choice inplies the existence of nonconstructible sets in ZFC.
Only in the sense that choice doesn't necessarily give you a procedure for producing the set. But I was using the term `nonconstructible' in the sense of a set that does not exist in L  (Godel's constructible universe). In that sense, choice does not imply the existence of nonconstructible sets.
+



