This is from Lectures on Forms of Higher Degree by J. Igusa. I don't understand the definition of "separability at a point." It says the system of neighborhoods at $x_{\infty}$ has a countable base. What system of neighborhoods? Do they mean the neighborhoods of $x_{\infty}$ in the space $\overline{X}$?
