Skip to main content
Became Hot Network Question
deleted 11 characters in body
Source Link
Clement Yung
  • 1.4k
  • 6
  • 22

In the usual $\mathsf{ZFC}$, we know that there are $2^\mathfrak{c}$ many subsets of $\mathbb{R}$ that are not (Lebesgue) measurable. On the other hand, the Solovay model also provides us a model of $\mathsf{ZF}$ which has $0$ non-measurable subsets of $\mathbb{R}$.

I would like to know if the assertionfollowing in between these two statements-between assertion has been established or is currently being researched on. That is:

For any cardinal $\kappa < 2^\mathfrak{c}$, is it consistent with $\mathsf{ZF}$ that there are exactly $\kappa$ non-measurable subset of $\mathbb{R}$?

If this is false, can we classify the cardinals in which the assertion above holds?

In the usual $\mathsf{ZFC}$, we know that there are $2^\mathfrak{c}$ many subsets of $\mathbb{R}$ that are not (Lebesgue) measurable. On the other hand, the Solovay model also provides us a model of $\mathsf{ZF}$ which has $0$ non-measurable subsets of $\mathbb{R}$.

I would like to know if the assertion in between these two statements has been established or is currently being researched on. That is:

For any cardinal $\kappa < 2^\mathfrak{c}$, is it consistent with $\mathsf{ZF}$ that there are exactly $\kappa$ non-measurable subset of $\mathbb{R}$?

If this is false, can we classify the cardinals in which the assertion above holds?

In the usual $\mathsf{ZFC}$, we know that there are $2^\mathfrak{c}$ many subsets of $\mathbb{R}$ that are not (Lebesgue) measurable. On the other hand, the Solovay model also provides us a model of $\mathsf{ZF}$ which has $0$ non-measurable subsets of $\mathbb{R}$.

I would like to know if the following in-between assertion has been established or is currently being researched on:

For any cardinal $\kappa < 2^\mathfrak{c}$, is it consistent with $\mathsf{ZF}$ that there are exactly $\kappa$ non-measurable subset of $\mathbb{R}$?

If this is false, can we classify the cardinals in which the assertion above holds?

Source Link
Clement Yung
  • 1.4k
  • 6
  • 22

Models with fixed cardinality of non-Lebesgue measurable sets

In the usual $\mathsf{ZFC}$, we know that there are $2^\mathfrak{c}$ many subsets of $\mathbb{R}$ that are not (Lebesgue) measurable. On the other hand, the Solovay model also provides us a model of $\mathsf{ZF}$ which has $0$ non-measurable subsets of $\mathbb{R}$.

I would like to know if the assertion in between these two statements has been established or is currently being researched on. That is:

For any cardinal $\kappa < 2^\mathfrak{c}$, is it consistent with $\mathsf{ZF}$ that there are exactly $\kappa$ non-measurable subset of $\mathbb{R}$?

If this is false, can we classify the cardinals in which the assertion above holds?