Real Liouville Extensions
Real Liouville Extensions
We characterize linear differential equations defined over a real differential field with a real closed field of constants C, which are solvable by real Liouville functions, as those having a differential Galois group whose identity component is solvable and C-split.