Liouvillian first integrals of differential equations: A Galoisian approach

Using differential Galois theory---specifically, Magid's theory of the complete Picard-Vessiot closure---we show that a system of first-order differential equations in $n$ variables admits a Liouvillian first integral if and only if it admits a first integral in a Liouvillian Picard-Vessiot extensio