Abstract
A classification was given by Creed, Truss, and Warren of all the countable k-CS-transitive cycle-free partial orders for k≥3. Here the elementary theories of these structures and their automorphism groups are examined, and it is shown that in many cases we can distinguish the structures or their groups by means of their first- or second-order properties. The small index property is established for weakly 2-transitive trees, and for several classes of cycle-free partial orders.
Similar content being viewed by others
References
Creed, P., Truss, J. K. and Warren, R. (1999) The structure of k-CS-transitive cycle-free partial orders having infinite chains, Math. Proc. Cambridge Philos. Soc. 126, 175–194.
Droste, M. (1983) Products of conjugacy classes of the infinite symmetric groups, Discrete Math. 47, 35–48.
Droste, M., Holland, W. C. and Macpherson, H. D. (1989) Automorphism groups of infinite semilinear orders (I) and (II), Proc. London Math. Soc. 58, 454–478 and 479–494.
Droste, M., Holland, W. C. and Macpherson, H. D. (1991) Automorphism groups of homogeneous semilinear orders: normal subgroups and commutators, Canad. J. Math. 43, 721–737.
Droste, M., Truss, J. K. and Warren, R. (1999) Simple automorphism groups of cycle-free partial orders, Forum Math. 11, 279–294.
Hodges, W. (1989) Categoricity and permutation groups, in Ebbinghaus et al. (eds.), Logic Colloquium '87, North-Holland, Amsterdam, pp. 53–72.
Morel, A. C. (1965) A class of relation types isomorphic to the ordinals, Michigan Math. J. 12, 203–215.
Dixon, J. D., Neumann, P. M. and Thomas, S. (1986) Subgroups of small index in infinite symmetric groups, Bull. London Math. Soc. 18, 580–586.
Rubin, M. (1993) The Reconstruction of Trees from their Automorphism Groups, Contemp. Math. 151, Amer. Math. Soc., Providence, RI.
Truss, J. K. (1989) Infinite permutation groups; subgroups of small index, J. Algebra 120, 494–515.
Truss, J. K. (1996) Betweenness relations and cycle-free partial orders, Math. Proc. Cambridge Philos. Soc. 119, 631–643.
Truss, J. K. (1999) On k-CS-transitive cycle-free partial orders with finite alternating chains, Order 15, 151–165.
Warren, R. (1997) The structure of k-CS-transitive cycle-free partial orders, Mem. Amer. Math. Soc. 614.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Truss, J.K. Elementary Properties of Cycle-free Partial Orders and their Automorphism Groups. Order 18, 359–379 (2001). https://doi.org/10.1023/A:1013987808448
Issue Date:
DOI: https://doi.org/10.1023/A:1013987808448