The Stacks project

Proof. Statements (1), (2), (3), and (4) follow by writing $X = \text{Spf}(A)$ and where $A$ is a weakly admissible (hence complete) linearly topologized ring and using the implications between the various types of such rings discussed in Section 87.7.

Proof of (5). By definition there exists a weakly adic topological ring $A$ such that $X = \mathop{\mathrm{colim}}\nolimits \mathop{\mathrm{Spec}}(A/I)$ where the colimit is over the ideals of definition of $A$. As $A$ is weakly adic, there exits in particular a countable fundamental system $I_\lambda$ of open ideals, see Definition 87.7.1. Then $X = \mathop{\mathrm{colim}}\nolimits \mathop{\mathrm{Spec}}(A/I_ n)$ by definition of $\text{Spf}(A)$. Thus $X$ is countably indexed.

Proof of (6). Write $X = \mathop{\mathrm{colim}}\nolimits X_ n$ for some system $X_1 \to X_2 \to X_3 \to \ldots$ of thickenings of affine schemes over $S$. Then

surjects onto each $\Gamma (X_ n, \mathcal{O}_{X_ n})$ because the transition maps are surjections as the morphisms $X_ n \to X_{n + 1}$ are closed immersions. Hence $X$ is McQuillan. $\square$