Skip to main content
edited tags
Link
Asaf Karagila
  • 39.7k
  • 8
  • 135
  • 283
edited tags
Link
Monroe Eskew
  • 18.6k
  • 5
  • 53
  • 114
Source Link
Monroe Eskew
  • 18.6k
  • 5
  • 53
  • 114

Precipitous ideals and GCH

It is well known that ZFC + "There is a measurable cardinal" is equiconsistent with ZFC + "There is a precipitous ideal on $\omega_1$." Is ZFC + "There is a measurable $\kappa$ such that $2^\kappa > \kappa^+$" equiconsistent with ZFC + "There is a precipitous ideal on $\omega_1$" + CH + $2^{\omega_1}>\omega_2$?