activity
20142017
most citedStrong density of definable types and closed ordered differential fields

2 citations · 2 across the 1 of their papers we have counts for

collaborators
Showing 2017Show all

2 papers · 1 filter

math.AG2017

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…

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,…