3 problems

The GEI conjecture for generic derivations over rosy algebraically bounded theories
Generic-derivation GEI conjecture. The theories
openFrom papersdifferential-fields elimination-of-imaginaries model-theory
0 responses
5
Elimination of imaginaries for generic derivations
Let $T$ be an algebraically bounded theory, and let $T^{\bar \delta,?}_g$ be its theory of generic derivations. Elimination of imaginaries modulo $T^{eq}$ means that imaginaries in…
openFrom papersdifferential-algebra elimination-of-imaginaries model-theory
0 responses
7
Finite-vocabulary obstruction to elimination of imaginaries in Hrushovski constructions
Finite-vocabulary conjecture. Under these assumptions,
openFrom paperselimination-of-imaginaries hrushovski-constructions model-theory
0 responses
7