Galois correspondence theorem for Picard-Vessiot extensions

Abstract

In this paper, we generalize the definition of the differential Galois group and the Galois correspondence theorem established previously for Picard-Vessiot extensions of real differential fields with real closed field of constants to any Picard-Vessiot extension.