  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.

Classical Analysis and ODEs;Logic;Representation Theory