Elimination of imaginaries for generic derivations
Elimination of imaginaries for generic derivations
Let be an algebraically bounded theory, and let be its theory of generic derivations. Elimination of imaginaries modulo means that imaginaries in the expansion are controlled up to the imaginaries already present in . Elimination-of-imaginaries conjecture. has elimination of imaginaries modulo . In particular, if has geometric elimination of imaginaries (GEI), then also has GEI, and if has EI, then also has EI. This extends elimination-of-imaginaries properties from algebraically bounded theories to their generic-derivation expansions; the source provides no resolution.
Sources & referencesView supporting material
Primary source
Fornasiero Antongiulio and Terzo Giuseppina, “Generic derivations on algebraically bounded structures II. Model theoretical properties”, arXiv:2507.22181 (2026).
Progress summary
Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.
Solutions 0
Sign in to submit a solution.
No solutions have been posted yet.