On the residual finiteness of the non-abelian exterior square of some Artin groups, constructible soluble groups, generalised Baumslag-Solitar groups and $SL_n(\Z)$

We show that cohomological and homological goodness are equivalent. We prove that if $G$ is a coherent even Artin group or an even Artin group whose underlying graph does not contain 4-clique or a LERF Artin group then $G \otimes G$ and $G \wedge G$ are residually finite. Furthermore for $G$ a RAAG