5 citations · 7 across the 7 of their papers we have counts for
Showing 2014Show all
2 papers · 1 filter
math.LO2014
Separably closed fields and contractive Ore modules
Luc Bélair, Françoise Point
We consider valued fields with a distinguished contractive map as valued modules over the Ore ring of difference operators. We prove quantifier elimination for separably closed val…
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…