[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