Skip to main content
1 of 2
Trevor Wilson
  • 5.5k
  • 29
  • 46

Can measures be added by forcing?

The Lévy-Solovay theorem says that small forcings do not create measures. J.D. Hamkins has generalized this to a larger class of forcings called gap forcings. I would assume this cannot be generalized to all forcings, but I cannot think of a counterexample. Is there a forcing notion that creates a $\kappa$-complete (or even countably complete) measure $\mu$ on some uncountable cardinal $\kappa$ such that $\mu \cap V$ is not in $V$?

Trevor Wilson
  • 5.5k
  • 29
  • 46