21
$\begingroup$

Let P be the statement: Every subset of plane belongs to the sigma algebra generated by $\{A \times B : A, B \subseteq \mathbb{R}\}$.

Let Q be the statement: Every continuum-sized family of subsets of $\mathbb{R}$ is contained in a countably generated sigma-algebra.

Both statements are independent of ZFC and P implies Q. Does Q imply P?

This stems from the question Countably generated sigma algebras. As noted by Gro-Tsen, it was also asked in Bing, Bledsoe & Mauldin, "Sets Generated by Rectangles", Pacific J. Math. 51 (1974) 27–36 (MSN).

Arnie Miller has a related result: Letting $\kappa = \aleph_{\omega_1}$, it is consistent that $\mathfrak{c} = \kappa^+$, every $\kappa$-sized family of sets of reals is contained in a countably generated sigma algebra and there is a subset of $\kappa \times \mathfrak{c}$ which is not in the sigma-algebra of abstract rectangles. See Theorem 5.12 in the notes Miller - Borel hierarchies or Theorem 55 in his thesis Miller - On the lengths of Borel hierarchies (MSN).

$\endgroup$
1

0

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Browse other questions tagged or ask your own question.