Skip to main content
3 of 3
edited tags
Andrés E. Caicedo
  • 32.5k
  • 5
  • 133
  • 240

Measure of the same set in different models of ZF

Let $A$ be a definable subset of $\mathbb{R}$ in $\mathsf{ZF}$, and let $\mathcal{M},\mathcal{N}\models\mathsf{ZF}$ such that $A$ is lebesgue measurable in both models.

Is $\mu^\mathcal{M}(A^\mathcal{M})=\mu^\mathcal{N}(A^\mathcal{N})$?

Are there any conditions (applied to $A$ or $\mathcal{M},\mathcal{N}$) under which we know more about this question?