Tameness of imaginaries for finite definable equivalence relations

About 19 years old · traced to

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.

References

Primary source

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

Progress summary

Never refreshed

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

Solutions 0

No solutions have been posted yet.