1: \begin{definition}[Baire Category Theorem]

2: Let $X$ be a complete computable metric space. We consider the operation

3: \[\BCT_X:\In\AA_-(X)^\IN\mto\IN,(A_i)_{i\in\IN}\mapsto\{n\in\IN:A_n\mbox{ has non-empty interior}\},\]

4: where $\dom(\BCT_X)=\{(A_i)_{i\in\IN}:\bigcup_{i=0}^\infty A_i=X\}$.

5: \end{definition}

6: