Picard--Vessiot structures
arXiv:1308.6191
Abstract
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.
This was a preliminary version that is superseded by arXiv:1409.5915