We make explicit certain results around the Galois correspondence in the context of definable automorphism groups, and point out the relation to some recent papers dealing with the Galois theory of algebraic differential equations when the constants are not “closed” in suitable senses. We also improve the definitions and results on generalized strongly normal extensions from [Pillay, “Differential Galois theory I”, Illinois Journal of Mathematics, 42(4), 1998], using this to give a restatement of a conjecture on almost semiabelian δ-groups from [Bertrand and Pillay, “Galois theory, functional Lindemann–Weierstrass, and Manin maps”, Pacific Journal of Mathematics, 281(1), 2016].
