Skip to main content

Non meager rectangle

Suppose $G \subseteq \mathbb{R}^2$ is dense $G_\delta$. Must there (in ZFC) exist non meager sets of reals $A, B$ such that $A \times B \subseteq G$?

Ashutosh
  • 9.6k
  • 1
  • 35
  • 55