Lemma 67.25.5. Let $S$ be a scheme. Let $X$ be a decent, locally Noetherian, and universally catenary algebraic space over $S$. Then any decent algebraic space locally of finite type over $X$ is universally catenary.

Proof. This is formal from the definitions and the fact that compositions of morphisms locally of finite type are locally of finite type (Morphisms of Spaces, Lemma 66.23.2). $\square$

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).