Abstract
We consider the classification problem for several classes of countable structures which are “vertex-transitive”, meaning that the automorphism group acts transitively on the elements. (This is sometimes called homogeneous.) We show that the classification of countable vertex-transitive digraphs and partial orders are Borel complete. We identify the complexity of the classification of countable vertex-transitive linear orders. Finally we show that the classification of vertex-transitive countable tournaments is properly above \(E_0\) in complexity.
Similar content being viewed by others
References
Clemens, J.D.: Isomorphism of homogeneous structures. Notre Dame J. Form. Log. 50(1), 1–22 (2009)
Dougherty, R., Jackson, S., Kechris, A.S.: The structure of hyperfinite Borel equivalence relations. Trans. Am. Math. Soc. 341(1), 193–225 (1994)
Gao, S.: Invariant Descriptive Set Theory. Pure and Applied Mathematics (Boca Raton), vol. 293. CRC Press, Boca Raton (2009)
Hamkins, J.D., Lewis, Andy: Infinite time Turing machines. J. Symb. Log. 65(2), 567–604 (2000)
Harrington, L.A., Kechris, A.S., Louveau, A.: A Glimm-Effros dichotomy for Borel equivalence relations. J. Am. Math. Soc. 3(4), 903–928 (1990)
Hjorth, G.: An absoluteness principle for Borel sets. J. Symb. Log. 63(2), 663–693 (1998)
Potter, S.: On the classification of vertex-transitive structures. Master’s thesis, Boise State University, Boise, ID (2017)
Rosenstein, J.G.: Linear Orderings, Pure and Applied Mathematics, vol. 98. Academic Press Inc., Harcourt Brace Jovanovich Publishers, New York-London (1982)
Acknowledgements
This work represents a portion of the third author’s master’s thesis [7]. The thesis was completed at Boise State University under the supervision of the second author, with significant input from the first author.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Clemens, J., Coskey, S. & Potter, S. On the classification of vertex-transitive structures. Arch. Math. Logic 58, 565–574 (2019). https://doi.org/10.1007/s00153-018-0651-2
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00153-018-0651-2