Skip to main content
Fixed up asterisks causing accidental italics
Source Link
LSpice
  • 12.9k
  • 4
  • 45
  • 69

Is the following generalised compactness property of Borel sets in a Polish space consistent with ZFC?

(*$*$) Let $\mathcal{B}$ be a family of $\aleph_1$-many Borel sets. If $\bigcap \mathcal{B} = \emptyset$, then, for some countable $\mathcal{C} \subseteq \mathcal{B}$, it holds that    $\bigcap \mathcal{C} = \emptyset$.

In the special case that $\mathcal{B}$ is a family of open sets, it is not hard to show that property () is a consequence of $\neg\mathrm{CH} + \mathrm{MA}$ (where $\mathrm{CH}$ is the Continuum Hypothesis and $\mathrm{MA}$ is Martin's Axiom) - more specifically, a consequence of $\mathrm{MA}_{\aleph_1}$. Also, trivially, this special case of ($*$) is a consequence of $\neg\mathrm{CH} + \mathrm{MA}$ (where $\mathrm{CH}$ is the Continuum Hypothesis and $\mathrm{MA}$ is Martin's Axiom)—more specifically, a consequence of $\mathrm{MA}_{\aleph_1}$. Also, trivially, this special case of ($*$) itself implies $\neg \mathrm{CH}$.

However, I am stuck as to the consistency of (*$*$) for general Borel sets. Actually, I have been unable to show consistency even when $\mathcal{B}$ is restricted to families of $F_\sigma$ sets.

Is the following generalised compactness property of Borel sets in a Polish space consistent with ZFC?

(*) Let $\mathcal{B}$ be a family of $\aleph_1$-many Borel sets. If $\bigcap \mathcal{B} = \emptyset$ then for some countable $\mathcal{C} \subseteq \mathcal{B}$ it holds that  $\bigcap \mathcal{C} = \emptyset$.

In the special case that $\mathcal{B}$ is a family of open sets, it is not hard to show that property () is a consequence of $\neg\mathrm{CH} + \mathrm{MA}$ (where $\mathrm{CH}$ is the Continuum Hypothesis and $\mathrm{MA}$ is Martin's Axiom) - more specifically, a consequence of $\mathrm{MA}_{\aleph_1}$. Also, trivially, this special case of () itself implies $\neg \mathrm{CH}$.

However, I am stuck as to the consistency of (*) for general Borel sets. Actually, I have been unable to show consistency even when $\mathcal{B}$ is restricted to families of $F_\sigma$ sets.

Is the following generalised compactness property of Borel sets in a Polish space consistent with ZFC?

($*$) Let $\mathcal{B}$ be a family of $\aleph_1$-many Borel sets. If $\bigcap \mathcal{B} = \emptyset$, then, for some countable $\mathcal{C} \subseteq \mathcal{B}$, it holds that  $\bigcap \mathcal{C} = \emptyset$.

In the special case that $\mathcal{B}$ is a family of open sets, it is not hard to show that property ($*$) is a consequence of $\neg\mathrm{CH} + \mathrm{MA}$ (where $\mathrm{CH}$ is the Continuum Hypothesis and $\mathrm{MA}$ is Martin's Axiom)—more specifically, a consequence of $\mathrm{MA}_{\aleph_1}$. Also, trivially, this special case of ($*$) itself implies $\neg \mathrm{CH}$.

However, I am stuck as to the consistency of ($*$) for general Borel sets. Actually, I have been unable to show consistency even when $\mathcal{B}$ is restricted to families of $F_\sigma$ sets.

Source Link

A compactness property for Borel sets

Is the following generalised compactness property of Borel sets in a Polish space consistent with ZFC?

(*) Let $\mathcal{B}$ be a family of $\aleph_1$-many Borel sets. If $\bigcap \mathcal{B} = \emptyset$ then for some countable $\mathcal{C} \subseteq \mathcal{B}$ it holds that $\bigcap \mathcal{C} = \emptyset$.

In the special case that $\mathcal{B}$ is a family of open sets, it is not hard to show that property () is a consequence of $\neg\mathrm{CH} + \mathrm{MA}$ (where $\mathrm{CH}$ is the Continuum Hypothesis and $\mathrm{MA}$ is Martin's Axiom) - more specifically, a consequence of $\mathrm{MA}_{\aleph_1}$. Also, trivially, this special case of () itself implies $\neg \mathrm{CH}$.

However, I am stuck as to the consistency of (*) for general Borel sets. Actually, I have been unable to show consistency even when $\mathcal{B}$ is restricted to families of $F_\sigma$ sets.