5 problems

0 votes0 replies1 view
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…
Conjectureopendifferential-algebra elimination-of-imaginaries model-theoryarXiv posted 2 days ago
0 votes0 replies0 views
The GEI conjecture for generic derivations over rosy algebraically bounded theories
Generic-derivation GEI conjecture. The theories
Conjectureopendifferential-fields elimination-of-imaginaries model-theoryarXiv posted 2 days ago
0 votes0 replies1 view
The GEI transfer conjecture for generic derivations
GEI transfer conjecture. GEI always transfers from $T$ to both
Conjectureopendifferential-fields elimination-of-imaginaries model-theoryarXiv posted 2 days ago
0 votes0 replies0 views
Finite-vocabulary obstruction to elimination of imaginaries in Hrushovski constructions
Finite-vocabulary conjecture. Under these assumptions,
Conjecturerefutedelimination-of-imaginaries hrushovski-constructions model-theoryarXiv posted 2 days ago
0 votes0 replies0 views
Uniqueness of symmetric functions in Hrushovski constructions
Uniqueness conjecture. In some sense, this construction is the only way to obtain a symmetric function in Hrushovski's examples.
Conjecturerefutedelimination-of-imaginaries hrushovski-constructions model-theoryarXiv posted 2 days ago

Elimination of imaginaries for generic derivations