Scott: GCH on a measure-one set below a measurable κ gives 2^κ = κ⁺ · Prove2Me

P

Initializing...

Scott: GCH on a measure-one set below a measurable κ gives 2^κ = κ⁺ · Prove2Me