**Proof.**
It is clear that (1) implies (2) and that (2) implies (3) by taking $V$ to be a disjoint union of affines étale over $Y$, see Properties of Spaces, Lemma 65.6.1. Assume $V \to Y$ is as in (3). Then for every affine open $W$ of $V$ we see that $W \times _ Y X$ is an affine open of $V \times _ Y X$. Hence by Properties of Spaces, Lemma 65.13.1 we conclude that $V \times _ Y X$ is a scheme. Moreover the morphism $V \times _ Y X \to V$ is affine. This means we can apply Spaces, Lemma 64.11.5 because the class of integral (resp. finite) morphisms satisfies all the required properties (see Morphisms, Lemmas 29.44.6 and Descent, Lemmas 35.23.22, 35.23.23, and 35.37.1). The conclusion of applying this lemma is that $f$ is representable and integral (resp. finite), i.e., (1) holds.

The equivalence of (1) and (4) follows from the fact that being integral (resp. finite) is Zariski local on the target (the reference above shows that being integral or finite is in fact fpqc local on the target).
$\square$

## Comments (0)