Differential Filtrations and Symbolic Powers of Regualr Primes.
An effective construction of homogeneous linear differential equations of order 2 with Galois group or is presented.
In this paper we study the formal differential Galois group of linear differential equations with coefficients in an extension of by an exponential of integral. We use results of factorization of differential operators with coefficients in such a field to give explicit generators of the Galois group. We show that we have very similar results to the case of .
We prove that the positive-existential theory of addition and divisibility in a ring of polynomials in two variables A[t₁,t₂] over an integral domain A is undecidable and that the universal-existential theory of A[t₁] is undecidable.