Tameness of imaginaries for finite definable equivalence relations
Let be the theory under consideration, and let be a definable equivalence relation over . The relation is finite if its equivalence classes are finite, and it is tame over in the sense of the paper. Tameness conjecture for imaginaries. If is finite and tame over , then the imaginaries of are tame over . 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.