Tameness of imaginaries for finite definable equivalence relations
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.
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
Sign in to submit a solution.
No solutions have been posted yet.