[FOM] constructible sets

Max Weiss 30f0fn at gmail.com
Thu Feb 25 17:56:55 EST 2010

[[[Dear Moderator: here is a slight improvement of the previous
message, replacing Tc(x) with Tc({x}).]]]

Assume that every subset of every constructible set is constructible.

Let x be a set and let y be the set of nonconstructible elements of
the transitive closure of {x}.  Suppose y is nonempty, and let z be an
element of y that is of least rank.  Since the transitive closure of z
contains no nonconstructible sets, therefore z is a subset of L_\alpha
for some \alpha.  But L_\alpha is a constructible set, so by the
hypothesis it follows that z is constructible.  This is a
contradiction, and so the transitive closure of {x} contains no
nonconstructible elements.  Hence x is constructible.

= = = = = =
Max M Weiss
Doctoral student
Dep't of philosophy
U. British Columbia

On 25 February 2010 10:16, <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