Picard--Vessiot structures

We demonstrate existence and uniqueness of Picard–Vessiot extensions satisfying prescribed properties, for systems of linear differential equations over a field satisfying the same properties, under some closure assumptions on the field of constants. An example includes the case of a equations
over a real field, with a real-closed field of constants. The result is obtained
through a model theoretic approach.