- #1

nomadreid

Gold Member

- 1,557

- 168

The notes say that if Ramsey cardinals exist, and the constructible universe L is regarded as a set, and P

_{Def}(.) is taking the constructible power set (i.e., subsets are formed using Def), then

(V

_{Ramsey card},∈) |= P

_{Def}(L) is countable & P

_{Def}(P

_{Def}(L)) is uncountable.

Thanks for corrections or comments.