[FOM] constructible sets

[Monroe Eskew]

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
>
>