Hodges's conjecture on relative categoricity and the Gaifman property
Hodges's conjecture on relative categoricity and the Gaifman property
Let be a complete theory with quantifier elimination in a relational language , and let be a distinguished unary predicate symbol in . For a model , write for the -substructure of with universe , and let be the common complete theory of these structures as ranges over models of . The theory is relatively categorical if every isomorphism between the -parts of two models of lifts to an isomorphism between the models. Hodges's conjecture. If is relatively categorical, then has the Gaifman property. The source indicates that this conjecture is refuted by a counterexample, so the claim is not valid in general.
Sources & referencesView supporting material
Primary source
Anand Pillay, “Remarks on relative categoricity”, arXiv:2602.05866 (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.