Lemma 87.17.1. Let $S$ be a scheme. Let $X$ be a formal algebraic space over $S$. The following are equivalent

the reduction of $X$ (Lemma 87.12.1) is a quasi-compact algebraic space,

we can find $\{ X_ i \to X\} _{i \in I}$ as in Definition 87.11.1 with $I$ finite,

there exists a morphism $Y \to X$ representable by algebraic spaces which is étale and surjective and where $Y$ is an affine formal algebraic space.

## Comments (0)