We show that for any countable homogeneous ordered graph $G$, the conjugacy problem for automorphisms of $G$ is Borel complete. In fact we establish that each such $G$ satisfies a strong extension property called ABAP, which implies that the isomorphism relation on substructures of $G$ is Borel reducible to the conjugacy relation on automorphisms of $G$.
翻译:我们发现,对于任何可计算同质定序图形$G$来说,自动形态问题已经解决了。 事实上,我们确定,每个此类G$都满足了一个称为ABAP的强大的扩展财产,这意味着,在亚结构中,G$的无形态关系可以与G$的自动形态的共产关系相适应。