[FOM] constructible sets

Monroe Eskew meskew at math.uci.edu
Thu Feb 25 17:51:17 EST 2010

Yes.  It follows by induction on rank.  For successor steps, if
V_{\alpha} is constructible then the hypothesis implies that every
member of V_{\alpha+1} is constructible.  Then V_{\alpha+1} is itself
constructible because it is the collection of constructible sets of
rank less or equal to \alpha+1.  The previous sentence gives the
method for limit steps too.

On Thu, Feb 25, 2010 at 7:16 AM,  <jbell at uwo.ca> wrote:
> Can someone answer the following question: does V = L follow from the
> assertion that every subset of every constructible set is constructible?
> Maybe I'm missing something obvious!
> John Bell
> Professor John L. Bell
> Department of Philosophy
> University of Western Ontario
> London, Ontario N6A 3K7
> Canada
> http://publish.uwo.ca/%7Ejbell/
> _______________________________________________
> FOM mailing list
> FOM at cs.nyu.edu
> http://www.cs.nyu.edu/mailman/listinfo/fom

More information about the FOM mailing list