1 problem

Let $\mathbb{K}$ be a structure in the setting of the paper, and let $X \subseteq \mathbb{K}^n$ be definable and closed. Definable Baire conjecture. The set $X$ is definably Baire.…