2 citations · 2 across the 1 of their papers we have counts for
Showing math.LOShow all
3 papers · 1 filter
math.LO2017★ 2 cited
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,…
math.LO2015
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…
math.LO2014
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…