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.