The classification of countable homogeneous directed graphs and countable homogeneous n-tournaments

Memoirs of the American Mathematical Society

Volumn , Issue 621, 1998, Pages 1-157

  Cherlin, Gregory L ^a  

^a NONE

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0031637663     PISSN: 00659266     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (92)

1. [1] Reinhold Baer. Die Kompositionsreihe der Gruppe aller eineindeutigen Abbildungen einer unendlichen Menge auf sich. Studia Math., 5:15-17, 1935.
2. [2] James Bennett. Reducts of some binary homogeneous structures. Doctoral thesis, Rutgers University, 1993.
3. [3] Chantal Berline. Elimination of quantifiers for non semi-simple rings of characteristic p. In Model Theory of Algebra and Arithmetic, volume 834, pages 10-19, New York, 1980. Springer. MR 82k:03034.
4. [4] Chantal Berline and Gregory Cherlin. QE rings in characteristic p. In Logic Year 1979/80, volume 859, pages 16-31. Springer, 1981. MR 84a:03032.
5. n. J. Symb. Logic, 48:140-162, 1983. MR 84f:03023.
6. [6] Maurice Boffa, Angus Macintyre, and Françoise Point. The quantifier elimination problem for rings without nilpotent elements and for semisimple rings. In Model Theory of Algebra and Arithmetic, volume 834, pages 20-30, Berlin, 1980. Springer. MR 82d:03054.
7. [7] Peter J. Cameron. On a theorem of Livingstone and Wagner. Math. Z., 137:343-350, 1974. MR 50 #4712.
8. [8] Peter J. Cameron. Cohomological aspects of two-graphs. Math. Z., 157:101-119, 1977. MR 81a:05061.
9. [9] Peter J. Cameron. Orbits of permutation groups on unordered sets I. J. London Math. Soc., 17:410-414, 1978. MR 58 #11136.
10. [10] Peter J. Cameron. Orbits of permutation groups on unordered sets II. J. London Math. Soc., 23:249-264, 1981. MR 82k:20005.
11. [11] Peter J. Cameron. Orbits of permutation groups on unordered sets IV. Homogeneity and transitivity. J. London Math. Soc., 23:249-264, 1981. MR 84f:20007b.
12. [12] Peter J. Cameron. Orbits of permutation groups on unordered sets III. Imprimitive groups. J. London Math. Soc., 27:238-247, 1983. MR 84f:20007a.
13. [13] Peter J. Cameron. Some treelike objects. Quarterly J. of Math., Series 2, 38:155-183, 1987. MR 89a:05009.
14. [14] Peter J. Cameron. Oligomorphic Permutation Groups. number 152 in London Mathematical Society Lecture Notes. Cambridge University Press, Cambridge, UK. MR 92f:20002.
15. [15] Peter J. Cameron and Simon Thomas. Groups acting on unordered sets. Proc. Amer. Math. Soc., 59:541-557, 1989. MR 91g:20003.
16. 0-categoricity. In Proceedings of the International Congress on Logic, Philosophy, Methodology, and History of Science, VII (Salzburg), pages 99-114, Amsterdam, 1986. North-Holland. Studies in Logic and the Foundations on Mathematics, 114. MR 87m:03046.
17. [17] Gregory Cherlin. Homogeneous directed graphs I. The imprimitive case. In Paris Logic Group, editor, Logic Colloquium 1985, pages 67-88, New York, 1987. North-Holland. MR 88d:03074.
18. [18] Gregory Cherlin. Homogeneous tournaments revisited. Geometria Dedicatae, 26:231-240, 1988. MR 89k:05039.
19. [19] Gregory Cherlin. Combinatorial problems connected with finitely homogeneous structures. In Proceedings of the International Conference on Algebra, Dedicated to the memory of A. I. Mal'tsev, L. Bokut, Yu. Ershov, and A. Kostrikin, eds., pp. 3-30, Contemporary Mathematics 131, AMS, Providence, RI, 1992. MR 93m:03054.
20. [20] Gregory Cherlin and Ulrich Felgner. Homogeneous finite groups. In preparation.
21. [21] Gregory Cherlin and Ulrich Felgner. Homogeneous solvable groups. J. London Mathematical Society, 44:102-120, 1991. MR 92m:20027.
22. [22] Gregory Cherlin and Alistair H. Lachlan. Finitely homogeneous relational structures. Trans. Amer. Math. Soc., 296:815-850, 1986. MR 88f:03023.
23. [23] Cheryl Chute Miller. Imprimitive automorphism groups. Quart. J. Math. Oxford Ser. (2), 43:23-44, 1992. MR 93a:20005.
24. [24] John Dixon, Peter Neumann, and Simon Thomas. Subgroups of small index in infinite symmetric groups. Bull. London Math. Soc., 18:580-586, 1986. MR 88i:20004.
25. [25] Manfred Droste. Structure of Partially Ordered Sets with Transitive Automorphism Groups. Vol. 334 of Memoirs of the American Mathematical Society, AMS, Providence, RI, 1985. MR 87d:06005
26. [26] Manfred Droste and H. Dugald Macpherson. On k-homogeneous posets and graphs J. Combinatorial Theory, Series A, 56:1-15. MR 92e:03049.
27. [27] Manfred Droste and John Truss. Subgroups of small index in ordered permutation groups. Quarterly J. of Math., Series 2, 42:31-47, 1991. MR 92g:06025.
28. n-free graphs. In Colloquio Internazionale sulle Teorie Combinatorie (Rome, 1973), Tomo II, pages 19-27, 1976. MR 57 #2984.
29. [29] David Evans. Subgroups of small index in infinite general linear groups. Bull. London Math. Soc., 18:587-590, 1986. MR 88i:20005.
30. [30] Ronald Fagin. Probabilities on finite models. J. Symb. Logic, 41:50-58, 1976. MR 57 #16042.
31. [31] Roland Fraissé. Sur certaines relations qui généralisent l'ordre des nombres rationnels. C. R. Acad. Sci. Paris, 237:540-542, 1953. MR 15 #192.
32. [32] Roland Fraissé. Sur l'extension aux relations de quelques propriétés connues des ordres. C. R. Acad. Sci. Paris, 237:508-510, 1953. MR 57 # 16042.
33. [33] Roland Fraissé. Sur l'extension aux relations de quelques propriétés des ordres. Ann. Ecole Norm. Sup., 71:361-388, 1954. MR 16 #1006.
34. [34] Roland Fraissé. Sur quelques classifications des systèmes de relations. Publications Scientifiques, Université d'Alger, Série A, 1:35-182, 1954.
35. [35] Roland Fraissé. Théorie des relations, volume 118 of Studies in Logic and the Foundations of Mathematics. North-Holland, New York, 1986. MR 87f:03139.
36. [36] Anthony Gardiner. Homogeneous graphs. J. Combin. Theory Ser. B, 20:94-102, 1976. MR 52 #7316.
37. [37] Edward Gaughan. The index problem for infinite symmetric groups. Proc. Amer. Math. Soc., 15:527-528, 1964. MR 29 #4789.
38. [38] Yu. Glebski, D. Kogan, M. Liogon'kii, , and V. Talanov. Volume and fraction of satisfiability of formulas of the lower predicate calculus. Kibernetika, 2:17-27, 1969. MR 46 #42.
39. [39] Ya. Golfand and Mikhail Klin. On k-homogeneous graphs. In Algorithmic Studies in Combinatorics, pages 76-85, Moscow, 1978. Nauka. MR 80d:05043.
40. [40] Johannes Guttwerden. Die Hruschowskigeometrien. in Proceedings of the 7th Easter Conference on Model Theory, Berndt Dahn and Helmut Wolter, eds., 106-118, 1989.
41. [41] Ronald Graham, Bruce Rothschild, and Joel Spencer. Ramsey Theory. Second edition. Wiley-Interscience series in Discrete Mathematics and Optimization, John Wiley, New York, 1990. xii+196 pp. MR 90m:05003.
42. [42] C. Ward Henson. A family of countable homogeneous graphs. Pacific J. Math., 38:69-83, 1971. MR 46 #3377.
43. [43] Wilfrid Hodges. Building Models by Games. Number 2 in London Mathematical Society Student Texts, Cambridge University Press, Cambridge, UK, 1985. MR 97h:03045.
44. [44] Ehud Hrushovski. A new strongly minimal set. Annals of Pure and Applied Logic, 62:147-166, 1993. MR 94d:03064.
45. [45] Ehud Hrushovski. Finite structures with few types. Vol. 411 of NATO ASI Series C: Mathematical and Physical Sciences, Kluwer, Dordrecht, 175-187. Proceedings, Banff, 1991. MR 95h:03084.
46. [46] Bjarni Jónsson. Universal relational systems. Mathematica Scandinavica, 4:193-208, 1956. MR 20 #30912E
47. [47] Bjarni Jónsson. Homogeneous universal relational systems. Mathematica Scandinavica 8:137-142, 1960. MR 49 #10625.
48. [48] William Kantor. On incidence matrices of finite projective and affine spaces. Math. Z., 124:315-318, 1972. MR 59 #13850.
49. 0-categorical structures smoothly approximated by finite substructures. Proc. London Math. Soc., 59:439-463, 1989. MR 91e:03033.
50. [50] Richard Kaye and H. Dugald Macpherson. Automorphisms of first-order structures. Oxford University Press, Oxford, UK, 1994. MR 96d:03048
51. [51] Julia Knight and Alistair H. Lachlan. Shrinking, stretching, and codes for homogeneous structures. In John Baldwin, editor, Classification Theory (Chicago, 1985), volume 1292 of Lecture Notes Math., 1987. MR 90k:03033.
52. [52] Phokion Kolaitis, H. Prömel, and Bruce Rothschild. Asymptotic enumeration and a 0-1 law for m-clique free graphs. Bull. Amer. Math. Soc., 13:160-162, 1985. MR 87c:05068.
53. l+1-free graphs: Asymptotic structure and a 0-1 law. Trans. Amer. Math. Soc., 303:637-671, 1987. MR 88j:05016.
54. [54] David Kueker and M. Chris Laskowski. On generic structures. Notre Dame Journal of Formal Logic, 33:175-183. MR 93k:03032.
55. [55] Alistair H. Lachlan Obituary: Alan Mekler. Order 89:99-101, 1992. MR 93m:01074.
56. [56] Alistair H. Lachlan. Finite homogeneous simple digraphs. In Jacques Stern, editor, Logic Colloquium 1981, volume 107 of Studies in Logic and the Foundations of Mathematics, pages 189-208, New York, 1982. North-Holland. MR 85h:05049.
57. [57] Alistair H. Lachlan. Countable homogeneous tournaments. Trans. Amer. Math. Soc., 284:431-461, 1984. MR 85i:05118.
58. [58] Alistair H. Lachlan. On countable stable structures which are homogeneous for a finite relational language. Israel J. Math, 49:69-153, 1984. MR 87h:03047a.
59. [59] Alistair H. Lachlan. Homogeneous structures. In Andrew Gleason, editor, Proceedings of the ICM 1986, pages 314-321, Providence, RI, 1987. AMS. MR 89d:03030.
60. [60] Alistair H. Lachlan and Saharon Shelah. Stable structures homogeneous for a finite binary language. Israel J. Math., 49:150-180, 1984. MR 87h:03047b.
61. [61] Alistair H. Lachlan and Robert Woodrow. Countable ultrahomogeneous undirected graphs. Trans. Amer. Math. Soc., 262:51-94, 1980. MR 82c:05083.
62. [62] Daniel Lascar. Autour de la propriété du petit indice. Proceedings of the London Mathematical Society, Series 3, 62:25-53. MR 92f:03029.
63. [63] Daniel Lascar. The group of automorphisms of a relational saturated structure Vol. 411 of NATO ASI Series C: Mathematical and Physical Sciences, Kluwer, Dordrecht, 225-236, Proceedings, Banff, 1991. MR 95d:03060
64. [64] Daniel Lascar and Saharon Shelah. Uncountable saturated structures have the small index property. Bulletin of the London Mathematical Society, 25:125-131, 1993. MR 94d:03068.
65. [65] Donald Livingstone and Ascher Wagner. Transitivity of permutation groups on unordered sets. Math. Z., 90:393-403, 1967. MR 32 #4183.
66. [66] Angus Macintyre, Kenneth McKenna, and Laurentius Petrus Dignus van den Dries. Elimination of quantifiers in algebraic structures. Adv. Math., 47:74-87, 1983. MR 84f:03028.
67. 0-categorical structures. Quarterly J. of Math., Series 2, 37:449-465. MR 88d:20007
68. [68] S. McLeish. The sufficiency of going forth in first-order homogeneous structures. Doctoral thesis, Queen Mary and Westfield College, 1994.
69. [69] Peter Neumann. Personal communication.
70. [70] Jaroslav Nešetřil and Vojtěch Rödl. The Ramsey property for graphs with forbidden complete subgraphs. J. Combin. Theory Ser. B, 20:243-249, 1976. MR 54 #133.
71. [71] Jaroslav Nešetřil and Vojtěch Rödl. Partitions of finite relational and set systems. J. Combinatorial Theory, Series A, 22:289-312, 1977. MR #55 10283.
72. [72] Jaroslav Nešetřil and Vojtěch Rödl. Ramsey classes of set systems. J. Combinatorial Theory, Series A, 34:183-201, 1983. MR 84i:05016.
73. [73] Maurice Pouzet. Sur la théorie des relations. Doctoral thesis, Lyon, 1978.
74. [74] Alex Rosenberg. The structure of the infinite general linear group. Ann. Math., 68:278-294, 1958. MR 21 #1319.
75. 0-categorical structures from their automorphism groups. Proceedings of the London Mathematical Society, 69:225-249, 1994. MR 95e:03102.
76. [76] Daniel Saracino. Amalgamation bases for nil-2 groups Algebra Universalis, 16:47-62. MR 84i:20035.
77. [77] Daniel Saracino and Carol Wood. QE nil-2 groups of exponent 4. J. Alg., 76:337-382, 1982. MR 83i:03052.
78. [78] Daniel Saracino and Carol Wood. QE commutative nil rings. J. Symb. Logic, 49:644-651, 1984. MR 85i:03093.
79. [79] Daniel Saracino and Carol Wood. Finite Quantifier-Eliminable Rings in Characteristic 4, volume 106 of Lect. Notes Pure Applied Math., pages 329-348. Dekker, New York, 1987. MR 89g:03044.
80. n. Annals Pure Applied Logic, 40:11-28, 1988. MR 89i:03070.
81. [81] Daniel Saracino and Carol Wood. Finite homogeneous rings of odd characteristic. In Logic Colloquium '84 (Manchester, 1984), Studies in Logic and Foundations of Mathematics, No. 120, pages 207-224, North Holland, Amsterdam, 1986. MR 88a:03077.
82. [82] James Schmerl. Countable homogeneous partially ordered sets. Alg. Univ., 9:317-321, 1979. MR 81g:06001.
83. [83] J. Sheehan. Smoothly embeddable subgraphs. J. London Math. Soc., 9:212-218, 1974. MR 51 #229.
84. [84] Saharon Shelah and Simon Thomas. Implausible subgroups of infinite symmetric groups. Bull. London Math. Soc., 20:313-318, 1988. MR 90a:20009.
85. 0-categoricity in first-order predicate calculus. Theoria 25:82-94, 1959. MR 25 #1986a.
86. [86] Simon Thomas. Groups acting on infinite dimensional projective space. J. London Math. Soc., 34:265-273, 1986. MR 87k:20014.
87. [87] Simon Thomas. Reducts of the random graph. J. Symbolic Logic, 56:176-181, 1991. MR 92m:05092.
88. [88] Simon Thomas. Reducts of random hypergraphs. Annals Pure Applied Logic, 80:165-193, 1996.
89. [89] John Truss. The group of the countable universal graph. Math. Proc. Cambridge Phil. Soc., 98:213-245, 1985. MR 86j:05075.
90. [90] John Truss. Infinite permutation groups I. Products of conjugacy classes. J. Algebra, 120:454-493, 1989. MR 90c:20004.
91. [91] John Truss. Infinite permutation groups II. Subgroups of small index. J. Algebra, 120:494-515, 1989. MR 90c:20005.
92. [92] H. Wielandt. Unendliche Permutationsgruppen. Unpublished typescript, 1959.