Brown and Gordon asked whether the Poisson Dixmier–Moeglin equivalence holds for any
complex affine Poisson algebra, that is, whether the sets of Poisson rational ideals, Poisson …

We study interpolative fusion, a method of combining theories $ T_1 $ and $ T_2 $ in distinct
languages in a" generic" way over a common reduct $ T_\cap $, to obtain a theory …

GENERIC DERIVATIONS ON ALGEBRAICALLY BOUNDED STRUCTURES T : the expansion
of T saying that the i are derivations which commute w Page 1 The Journal of Symbolic Logic …

We study the structure of the solution sets in universal differential fields of certain differential
equations of order two, the Poizat equations, which are particular cases of Liénard …

We define the interpolative fusion T∪∗ of a family (T i) i∈ I of first-order theories over a
common reduct T∩, a notion that generalizes many examples of random or generic …

Hrushovski's generalization and application of Jouanolou (1978)[9] is here refined and
extended to the partial differential setting with possibly nonconstant coefficient fields. In …

We study model theory of actions of finite groups on substructures of a stable structure. We
give an abstract description of existentially closed actions as above in terms of invariants …

Let K be an algebraically bounded structure. If K is model complete, then the theory of K
endowed with a derivation has a model completion. Similar results hold for several …

We prove that the Poisson version of the Dixmier–Moeglin equivalence holds for
cocommutative affine Poisson–Hopf algebras. This is a first step towards understanding the …

We study algebraic and model-theoretic properties of existentially closed fields with an
action of a fixed finite group. Such fields turn out to be pseudo-algebraically closed in a …