[FOM] A basis for the projective collections of sets
Fredrik Engström
engstrom at math.chalmers.se
Tue Nov 4 09:52:30 EST 2003
Hi!
I am wondering if the set of projective sets is a basis for the
projective collections of sets, i.e., if P = the union of lightface
\Sigma^1_k is a basis for itself.
I understand that under the assumption of V=L or PD, it is, since then
\Delta^1_{2k} is a basis for \Sigma^1_{2k} (for k>0). What can ZFC prove
along these lines?
I would very much appreciate references for discussions along those
lines.
Best regards,
Fredrik Engström
More information about the FOM
mailing list