Abstract
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.
Similar content being viewed by others
References
Coskey, S., Ellis, P.: The conjugacy problem for automorphism groups of countable homogeneous structures. MLQ Math. Log. Q. 62(6), 580–589 (2016)
Coskey, S., Ellis, P.: The conjugacy problem for automorphism groups of homogeneous digraphs. Contrib. Discret. Math. 12(1), 62–73 (2017)
Coskey, S., Ellis, P., Schneider, S.: The conjugacy problem for the automorphism group of the random graph. Arch. Math. Logic 50(1–2), 215–221 (2011)
Cherlin, G.: Homogeneous ordered graphs and metrically homogeneous graphs. preprint, (2018)
Foreman, M.: A descriptive view of ergodic theory. In: Descriptive set theory and dynamical systems (Marseille-Luminy, 1996), of London Math. Soc. Lecture Note Ser., vol. 277, pp. 87–171. Cambridge University Press, Cambridge (2000)
Gao, S.: Invariant Descriptive Set Theory. Pure and Applied Mathematics (Boca Raton), vol. 293. CRC Press, Boca Raton (2009)
Hodges, W.: Model Theory. Encyclopedia of Mathematics and its Applications, vol. 42. Cambridge University Press, Cambridge (1993)
Kubiś, W., Mašulović, D.: Katětov functors. Appl. Categor. Struct. 25(4), 569–602 (2017). https://doi.org/10.1007/s10485-016-9461-z
Macpherson, D.: A survey of homogeneous structures. Discret. Math. 311(15), 1599–1634 (2011)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Coskey, S., Ellis, P. Conjugacy for homogeneous ordered graphs. Arch. Math. Logic 58, 457–467 (2019). https://doi.org/10.1007/s00153-018-0645-0
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00153-018-0645-0