A dimension theorem for real spectra (Q1263626)

We quote from the paper: ``Let A be an excellent ring and \(X=Spec(A)\) its real spectrum. The dimension of a non-empty set \(S\subset X\) is \(\dim (S)=\sup \{\dim (A/\sup p(\alpha)):\quad \alpha \in S\}\) and, as usual, \(\dim (\emptyset)=-1\). We also define, for \(\alpha_ 0\in X\), \(\dim_{\alpha_ 0}(S)=\dim \{\alpha \in S:\) \(\alpha \to \alpha_ 0\}\), where \(\alpha \to \alpha_ 0\) denotes that \(\alpha\) specializes to \(\alpha_ 0\). Of course, \(\dim_{\alpha_ 0}S=-1\) if \(\alpha_ 0\not\in \bar S.\) Theorem I. Let \(\alpha_ 0\in X\) be adherent to a constructible \(S\subset X\). Then \(d=\dim_{\alpha_ 0}(S)-\dim (\alpha_ 0)\geq 0\), and S contains d points \(\alpha_ 1,...,\alpha_ d\) with \(\alpha_ d\neq^{\to}...\neq^{\to}\alpha_ 1\neq^{\to}\alpha_ 0.\) Suppose A is local with maximal ideal m. We call local any \(\alpha\in X\) having a 0-dimensional specialization, i.e., \(\alpha \to \alpha_ 0\) for some \(\alpha_ 0\in X\) with \(\sup p(\alpha_ 0)=m\). Now consider the m- completion \(\hat A\) of A and the canonical map \(\psi:\quad X'=Spec(\hat A)\to X.\) Theorem II. Let \(\alpha\in X\). Then \(\dim (\psi^{-1}(\alpha))=\dim (\alpha)\), if \(\alpha\) is local and \(\dim (\psi^{-1}(\alpha))=-1\) otherwise. - In particular, the image of \(\psi\) is the set of all local points of X.'' For the notion of the real spectrum the author refers to \textit{M. Coste} and \textit{M.-F. Roy}, Contempt. Math. 8, 27-59 (1982; Zbl 0485.14007).