1 problem

Let $M$ be a first-order topological structure, and let $\operatorname{Spec}(A)$ denote the Stone spectrum of a definable set $A\subseteq M^k$. Say that $M$ is definably $T_5$ when…