Picard-Vessiot Extensions of Real Differential Fields

Teresa Crespo, Zbigniew Hajto

For a linear differential equation defined over a formally real differential field K with real closed field of constants k, Crespo, Hajto and van der Put proved that there exists a…