Tameness of imaginaries for finite definable equivalence relations

From papers

Let T{\mathcal T}_{\infty} be the theory under consideration, and let \sim be a definable equivalence relation over T{\mathcal T}_{\infty}. The relation is finite if its equivalence classes are finite, and it is tame over T{\mathcal T}_{\infty} in the sense of the paper. Tameness conjecture for imaginaries. If \sim is finite and tame over T{\mathcal T}_{\infty}, then the imaginaries of \sim are tame over T{\mathcal T}_{\infty}. This is presented as a conjecture about elimination or tameness of imaginaries in the relevant valued-field theory; the supplied excerpt gives no evidence of a resolution.

Progress summary

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Sources & referencesView supporting material

Primary source

R. Cluckers and J. Denef, “Orbital integrals for linear groups”, arXiv:math/0703704 (2007).

Solutions 0

No solutions have been posted yet.