2 citations · 2 across the 1 of their papers we have counts for
4 papers
Embedded Picard-Vessiot extensions
Quentin Brouette, Greg Cousins, Anand Pillay +1
We prove that if T is a theory of large, bounded, fields of characteristic zero, with almost quantifier elimination, and T_D is the model companion of T + "D is a derivation", then…
Strong density of definable types and closed ordered differential fields
Quentin Brouette, Pablo Cubides Kovacsics, Francoise Point
The following strong form of density of definable types is introduced for theories T admitting a fibered dimension function d: given a model M of T and a definable subset X of M^n,…
On differential Galois groups of strongly normal extensions
Quentin Brouette, Françoise Point
We give a detailed proof of Kolchin's results on differential Galois groups of strongly normal extensions, in the case where the field of constants is not necessarily algebraically…
On differential Galois groups of strongly normal extensions
Quentin Brouette, Francoise Point
We revisit Kolchin's results on definability of differential Galois groups of strongly normal extensions, in the case where the field of constants is not necessarily algebraically…