A survey of homogeneous structures

Discrete Mathematics

Volumn 311, Issue 15, 2011, Pages 1599-1634

  MacPherson, Dugald ^a  

^a UNIVERSITY OF LEEDS   (United Kingdom)

Author keywords

Constraint satisfaction; Homogeneous structure; Oligomorphic group; Omega categorical; Permutation group; Polish group; Ramsey class

Indexed keywords

EID: 79956225503     PISSN: 0012365X     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.disc.2011.01.024     Document Type: Conference Paper

References (148)

1. S. Adeleke Semilinear tower of Steiner systems J. Combin. Theory Ser. A 72 1995 243 255
2. S. Adeleke, and H.D. Macpherson Classification of infinite primitive Jordan permutation groups Proc. Lond. Math. Soc. (3) 72 1995 63 123 (Pubitemid 126767120)
3. S.A. Adeleke, P.M. Neumann, Relations Related to Betweenness: Their Structure and Automorphisms, Mem. Amer. Math. Soc., vol. 623, Providence, RI, 1998.
4. S.A. Adeleke, and P.M. Neumann Primitive permutation groups with primitive Jordan sets Proc. Lond. Math. Soc. (2) 53 1996 209 229 (Pubitemid 126311768)
5. G. Ahlbrandt, and M. Ziegler Quasi-finitely axiomatisable totally categorical theories Ann. Pure Appl. Logic 30 1986 63 82
6. R. Akhtar, and A.H. Lachlan On countable homogeneous 3-hypergraphs Arch. Math. Logic 34 1995 331 344 (Pubitemid 126013712)
7. M.H. Albert, and S.N. Burris Finite axiomatizations of existentially closed posets and semilattices Order 3 1986 169 178
8. S. Barbina Reconstruction of classical geometries from their automorphism group J. Lond. Math. Soc. (2) 75 2007 298 316
9. S. Barbina, and H.D. Macpherson Reconstruction of homogeneous relational structures J. Symbolic Logic 72 2007 792 802
10. S. Barbina, D. Zambella, Generic expansions of countable models, Preprint.
11. J.H. Bennett, The reducts of some infinite homogeneous graphs and tournaments, Ph.D. Thesis, Rutgers University, New Brunswick, 1996.
12. G.M. Bergman Generating infinite symmetric groups Bull. Lond. Math. Soc. 38 2006 429 440 (Pubitemid 43846325)
13. O. Beyarslan Interpreting random graphs in pseudofinite fields J. Inst. Math. Jussieu 9 2010 29 47
14. M. Bhattacharjee, and H.D. Macpherson A locally finite dense group acting on the random graph Forum Math. 17 2005 513 517 (Pubitemid 40938178)
15. M. Bhattacharjee, H.D. Macpherson, R.G. Mller, and P.M. Neumann Notes on Infinite Permutation Groups Lecture Notes in Mathematics vol. 1698 1998 Springer Berlin
16. V.V. Bludov, M. Giraudet, A.M.W. Glass, and G. Sabbagh Automorphism Groups of Models of First Order Theories, Models, Modules and Abelian Groups 2008 Walter de Gruyter Berlin pp. 325328
17. M. Bodirsky Constraint satisfaction problems with infinite templates Complexity of Constraints 2008 196 228
18. M. Bodirsky Cores of countably categorical structures Log. Methods Comput. Sci. 3 2007 1 16
19. M. Bodirsky, H. Chen, and M. Pinsker The reducts of equality up to primitive positive interdefinability J. Symbolic Logic 75 2010 1249 1292
20. א 0-categorical structures: endomorphisms and interpretations, Preprint. arXiv:0907.2925v1.
21. M. Bodirsky, and J. Neetil Constraint satisfaction with countable homogeneous templates J. Logic Comput. 16 2006 359 373 (Pubitemid 43823171)
22. M. Bodirsky, M. Pinsker, Minimal functions on the random graph, Preprint. arXiv:1003.4030v2 [math.LO].
23. B. Bollobas Random Graphs 1985 Academic Press New York
24. B. Bollobs, and A. Thomason Graphs which contain only small graphs European J. Combin. 2 1981 13 15
25. R.M. Bryant, and D.M. Evans The small index property for free groups and relatively free groups J. Lond. Math. Soc. (2) 55 1997 363 369 (Pubitemid 127342110)
26. P.J. Cameron Oligomorphic Permutation Groups London Math. Soc. Lecture Notes vol. 152 1990 Cambridge University Press Cambridge
27. P.J. Cameron Homogeneous permutations Electron. J. Combin. 9 2 2002 R2
28. P.J. Cameron Transitivity of permutation groups on unordered sets Math. Z. 148 1976 127 139
29. P.J. Cameron A census of infinite distance-transitive graphs Discrete Math. 192 1998 11 26 (Pubitemid 128399599)
30. P.J. Cameron Some treelike objects Quart. J. Math. Oxford Ser. (2) 38 1987 155 183
31. P.J. Cameron Some counting problems related to permutation groups Discrete Math. 225 2000 77 92
32. P.J. Cameron Orbits of permutation groups on unordered sets, II J. Lond. Math. Soc. (2) 23 1981 249 264
33. P.J. Cameron On an algebra related to orbit-counting J. Group Theory I 1998 173 179 (Pubitemid 128542024)
34. P.J. Cameron, and D.C. Lockett Posets, homomorphisms and homogeneity Discrete Math. 310 2010 604 613
35. P.J. Cameron, and J. Neetil Homomorphismhomogeneous relational structures Combin. Probab. Comput. 15 2006 91 103
36. Z. Chatzidakis, and E. Hrushovski The model theory of difference fields Trans. Amer. Math. Soc. 351 1999 2997 3051
37. Z. Chatzidakis, and A. Pillay Generic structures and simple theories Ann. Pure Appl. Logic 95 1998 71 92 (Pubitemid 128179821)
38. G. Cherlin The Classification of Countable Homogeneous Directed Graphs and Countable Homogeneous n-Tournaments Mem. Amer. Math. Soc. vol. 621 1998 Amer. Math. Soc. Providence, RI
39. G. Cherlin Combinatorial problems connected with finite homogeneity Contemp. Math. 131 1992 3 30
40. א 0-stable-structures Ann. Pure Appl. Logic 28 1985 103 135
41. G. Cherlin, and E. Hrushovski Finite Structures with Few Types Ann. Math. Studies vol. 152 2003 Princeton University Press Princeton
42. G. Cherlin, and A.H. Lachlan Stable finitely homogeneous structures Trans. Amer. Math. Soc. 296 1986 815 850
43. A. Chowdhuri, B. Hart, and Z. Sokolovi Affine covers of Lie geometries and the amalgamation property Proc. Lond. Math. Soc. (3) 85 2002 513 563
44. J.A. Covington Homogenizable relational structures Illinois J. Math. 34 1990 731 743
45. Y. de Cornulier Strongly bounded groups and infinite powers of finite groups Comm. Algebra 34 2006 2337 2345 (Pubitemid 43982615)
46. T. de Sousa, Countable homogeneous coloured partial orders, Ph.D. Thesis, University of Leeds, 2005.
47. J.D. Dixon The probability of generating the symmetric group Math. Z. 110 1969 199 205
48. J.D. Dixon, P.M. Neumann, and S. Thomas Subgroups of small index in infinite symmetric groups Bull. Lond. Math. Soc. 18 1986 580 586
49. M. Droste Structure of Partially Ordered Sets with Transitive Automorphism Group Mem. Amer. Math. Soc. vol. 334 1985 Amer. Math. Soc. Providence, RI
50. M. Droste, and R. Gbel Uncountable cofinalities of permutation groups J. Lond. Math. Soc. (2) 71 2005 335 344 (Pubitemid 43316868)
51. M. Droste, M. Giraudet, H.D. Macpherson, and N. Sauer Set-homogeneous graphs J. Combin. Theory Ser. B 62 1995 63 95
52. M. Droste, and W.C. Holland Generating automorphism groups of chains Forum Math. 17 2005 699 710 (Pubitemid 40938186)
53. M. Droste, W.C. Holland, and H.D. Macpherson Automorphism groups of infinite semilinear orders II Proc. Lond. Math. Soc. (3) 58 1989 479 494
54. M. Droste, W.C. Holland, and H.D. Macpherson Automorphism groups of infinite semilinear orders I Proc. Lond. Math. Soc. (3) 58 1989 454 478
55. E. Engeler quivalenzklassen von n-Tupeln Z. Math. Log. Grundl. Math. 5 1959 340 345
56. H. Enomoto Combinatorially homogeneous graphs J. Combin. Theory Ser. B 30 1981 215 223
57. א 0-categorical structures R.W. Kaye, H.D. Macpherson, Automorphisms of First Order Structures 1994 Clarendon Press Oxford 33 72
58. D.M. Evans Subgroups of small index in infinite general linear groups Bull. Lond. Math. Soc. 18 1986 587 590
59. D.M. Evans The small index property for infinite dimensional classical groups J. Algebra 136 1991 248 264
60. D.M. Evans, and P. Hewitt Counterexamples to a conjecture on relative categoricity Ann. Pure Appl. Logic 46 1990 201 209
61. R. Fagin Probabilities on finite models J. Symbolic Logic 41 1976 50 58
62. R. Fraiss Sur certaines relations qui gnralisent l'order des nombres rationnels C. R. Acad. Sci. Paris 237 1953 540 542
63. A. Gardiner Homogeneous graphs J. Combin. Theory Ser. B 20 1976 94 102
64. P.M. Gartside, and R.W. Knight Ubiquity of free groups Bull. Lond. Math. Soc. 35 2003 624 634
65. A.M.W. Glass Ordered Permutation Groups London Math. Soc. Lecture Notes vol. 55 1981 Cambridge University Press Cambridge
66. A.M.W. Glass, S.H. McCleary, and M. Rubin Automorphism groups of countable highly homogeneous partially ordered sets Math. Z. 214 1993 55 66
67. Y.V. Glebskii, D.I. Kogan, M.I. Liogonkii, and V.A. Talanov The extent and degree of satisfiability of formulas of the restricted predicate calculus Kibernetika (Kiev) 2 1969 17 27
68. M. Goldstern, R. Grossberg, and M. Kojman Infinite homogeneous bipartite graphs with unequal sides Discrete Math. 149 1996 69 82 (Pubitemid 126386192)
69. Y. Golfand, and M. Klin On k-homogeneous graphs Algorithmic Studies in Combinatorics 1978 Nauka Moscow 76 85
70. R.L. Graham, and J.H. Spencer A constructive solution to a tournament problem Canad. Math. Bull. 14 1971 45 48
71. R. Gray, and H.D. Macpherson Countable connected-homogeneous graphs J. Combin. Theory Ser. B 100 2010 97 118
72. R. Gray, H.D. Macpherson, C.E. Praeger, and G. Royle Set-homogeneous directed graphs http://arXiv.org/abs/1011.4216
73. V. Guirardel, and A. Ivanov Non-nesting actions of Polish groups on real trees J. Pure Appl. Algebra 214 2010 2074 2077
74. M. Hall Combinatorial Theory 1967 Blaisdell Waltham, Mass
75. א 0-categorical theories J. Symbolic Logic 37 1972 494 500
76. C.W. Henson A family of countable homogeneous graphs Pacific J. Math. 38 1971 69 83
77. B. Herwig Extending partial isomorphisms for the small index property of many ω-categorical structures Israel J. Math. 107 1998 93 123 (Pubitemid 128335939)
78. B. Herwig Extending partial isomorphisms of finite structures Combinatorica 15 1995 365 371
79. B. Herwig, and D. Lascar Extending partial isomorphisms and the profinite topology on free groups Trans. Amer. Math. Soc. 352 2000 1985 2021
80. א 0-categorical weakly o-minimal structures Ann. Pure Appl. Logic 101 2000 65 93
81. W. Hodges Model Theory 1993 Cambridge University Press Cambridge
82. W.A. Hodges, I.M. Hodkinson, D. Lascar, and S. Shelah The small index property for ω-stable, ω-categorical structures and for the random graph J. Lond. Math. Soc. (2) 48 1993 204 218
83. I.M. Hodkinson, and M. Otto Finite conformal hypergraph covers and Gaifman cliques in finite structures Bull. Symbolic Logic 9 2003 387 405 (Pubitemid 37207094)
84. E. Hrushovski Extending partial isomorphisms of graphs Combinatorica 12 1992 411 416
85. J. Hubika, and J. Neetil Finite presentation of homogeneous graphs, posets and Ramsey classes Israel J. Math. 149 2005 21 44
86. A.A. Ivanov Finite covers, cohomology and homogeneous structures Proc. Lond. Math. Soc. (3) 78 1999 1 28
87. A.A. Ivanov Generic expansions of ω-categorical structures and semantics of generalssied quantifiers J. Symbolic Logic 64 1999 775 789
88. A.A. Ivanov Automorphisms of homogeneous structures Notre Dame J. Form. Log. 46 4 2005 419 424
89. E. Jaligot On stabilisers of some moieties of the random tournament Combinatorica 27 2007 129 133
90. K. Johnson Constructions of semilinear towers of Steiner systems K. Tent, Tits Buildings and the Model Theory of Groups London Math. Soc. Lecture Notes vol. 291 2002 Cambridge University Press Cambridge 235 278
91. M. Junker, and M. Ziegler The 116 reducts of (Q, <, a ) J. Symbolic Logic 73 2008 861 884
92. A.S. Kechris Classical Descriptive Set Theory 1995 Springer-Verlag Berlin
93. A.S. Kechris, V.G. Pestov, and S. Todorcevic Fraiss limits, Ramsey theory, and topological dynamics of automorphism groups GAFA, Geom. Funct. Anal. 15 2005 106 189 (Pubitemid 40950272)
94. A.S. Kechris, and C. Rosendal Turbulence, amalgamation and generic automorphisms of homogeneous structures Proc. Lond. Math. Soc. 94 2007 302 350
95. B. Kulpeshov, and H.D. Macpherson Minimality conditions on circularly ordered structures Math. Logic Quart. 51 2005 377 399 (Pubitemid 40978168)
96. A.H. Lachlan Countable homogeneous tournaments Trans. Amer. Math. Soc. 284 1984 431 461
97. A.H. Lachlan On countable stable structures which are homogeneous for a finite relational language Israel J. Math. 49 1984 69 153
98. A.H. Lachlan Stable finitely homogeneous structures: a survey B.T. Hart, A.H. Lachlan, M.A. Valeriote, Algebraic Model Theory NATO ASI Series 1997 Kluwer Dordrecht 145 159
99. A.H. Lachlan, and S. Shelah Stable structures homogeneous for a finite binary language Israel J. Math. 49 1984 155 180
100. A.H. Lachlan, and A. Tripp Finite homogeneous 3-graphs Math. Logic Quart. 41 1995 287 306
101. A.H. Lachlan, and R.E. Woodrow Countable ultrahomogeneous undirected graphs Trans. Amer. Math. Soc. 262 1980 51 94
102. D. Lascar Les automorphismes d'un ensemble fortement minimal J. Symbolic Logic 57 1992 238 251
103. D. Lascar The small index property and recursively saturated models of Peano arithmetic R.W. Kaye, H.D. Macpherson, Automorphisms of First Order Structures 1994 Clarendon Press Oxford 281 292
104. D. Lascar Autour de la proprit de petit indice Proc. Lond. Math. Soc. (3) 62 1991 25 53
105. D. Lascar, and S. Shelah Uncountable saturated structures have the small index property Bull. Lond. Math. Soc. 25 1993 125 131
106. D. Lippel Finitely axiomatizable ω-categorical theories and the Mazoyer hypothesis J. Symbolic Logic 70 2005 460 472 (Pubitemid 40816551)
107. H.D. Macpherson Interpreting groups in ω-categorical structures J. Symbolic Logic 56 1991 1317 1324
108. H.D. Macpherson Homogeneous and smoothly approximated structures B.T. Hart, A.H. Lachlan, M.A. Valeriote, Algebraic Model Theory NATO ASI Series 1997 Kluwer Dordrecht 161 179
109. א 0-categorical structures Quart. J. Math. Oxford Ser. (2) 37 1986 449 465
110. H.D. Macpherson Orbits of infinite permutation groups Proc. Lond. Math. Soc. (3) 51 1985 246 284
111. H.D. Macpherson Growth rates in infinite graphs and permutation groups Proc. Lond. Math. Soc. (3) 51 1985 285 294
112. H.D. Macpherson Infinite permutation groups of rapid growth J. Lond. Math. Soc. (2) 35 1987 276 286
113. H.D. Macpherson Finite axiomatizability and theories with trivial algebraic closure Notre Dame J. Form. Log. 32 1991 188 192
114. H.D. Macpherson, and P.M. Neumann Subgroups of infinite symmetric groups J. Lond. Math. Soc. (2) 42 1990 64 84
115. H.D. Macpherson, and C. Steinhorn One-dimensional asymptotic classes of finite structures Trans. Amer. Math. Soc. 360 2008 411 448
116. H.D. Macpherson, and S. Thomas Comeagre conjugacy classes and free products with amalgamation Discrete Math. 291 2005 135 142 (Pubitemid 40302905)
117. H.D. Macpherson, and R.E. Woodrow The permutation group induced on a moiety Forum Math. 4 1992 243 255
118. D. Marker Model Theory. An Introduction Graduate Texts in Mathematics vol. 217 2002 Springer-Verlag New York
119. D. Maulovi Homomorphismhomogeneous partially ordered sets Order 24 2007 215 226
120. G. Melles, and S. Shelah Aut (M ) has a large dense free subgroup for saturated M Bull. Lond. Math. Soc. 26 1994 339 344
121. R.G. Mller Ends of graphs Math. Proc. Cambridge Philos. Soc. 111 1992 255 266
122. J. Neetil Ramsey theory R.L. Graham, M. Grtschel, L. Lovsz, Handbook of Combinatorics 1995 Elsevier Amsterdam 1331 1403
123. J. Neetil, and V. Rdl Partitions of finite relational and set systems J. Combin. Theory Ser. A 22 1977 289 312
124. A. Pillay, and C. Steinhorn Definable sets in ordered structures I Trans. Amer. Math. Soc. 295 1986 565 592
125. P.P. Plfy A polynomial bound for the orders of primitive solvable groups J. Algebra 77 1982 127 137
126. M. Pouzet Application de la notion de relation presque enchainable au dnombrement des restrictions finies d'une relation Z. Math. Log. Grundl. Math. 27 1981 289 332
127. M. Pouzet When is the orbit algebra of a group an integral domain? Proof of a conjecture of P.J. Cameron Theor. Inform. Appl. 42 2008 83 103
128. M. Pouzet, Caracterisation topologique et combinatoire des ages les plus simples, D.Sc. Thesis, 1978.
129. L. Ribes, and P.A. Zalesskii On the profinite topology on a free group Bull. Lond. Math. Soc. 25 1993 37 43
130. C. Rosendal A topological version of the Bergman property Forum Math. 21 2009 299 332
131. א 0-categorical structures from their automorphism groups Proc. Lond. Math. Soc. (3) 69 1994 225 249
132. א 0 Bull. Acad. Pol. Sci., Ser. Sci. Math. Astron. Phys. 7 1959 545 548
133. א 0-categorical theories Proc. Amer. Math. Soc. 39 1973 591 598
134. J. Schmerl Countable homogeneous partially ordered sets Algebra Universalis 9 1970 317 321
135. J. Schreier, and S. Ulam Uber die permutationsgruppe der natrlichen zahlenfolge Studia Math. 4 1933 134 141
136. J.-P. Serre Trees 1980 Springer-Verlag Berlin
137. J. Sheehan Smoothly embeddable subgraphs J. Lond. Math. Soc. 9 1974 212 218
138. S. Shelah Classification Theory and the Number of Non-Isomorphic Models Studies in Logic and the Foundations of Mathematic vol. 92 1978 North-Holland Amsterdam (revised ed. 1992)
139. S. Solecki Extending partial isometries Israel J. Math. 150 9 2005 315 331 (Pubitemid 43409904)
140. S. Solecki Notes on a strengthening of the HerwigLascar extension theorem http://www.math.uiuc.edu/~ssolecki/notes.html
141. א 0-categoricity in first-order predicate calculus Theoria 25 1959 82 94
142. S. Thomas Reducts of random hypergraphs Ann. Pure Appl. Logic 80 1996 165 193 (Pubitemid 126167144)
143. S. Thomas Reducts of the random graph J. Symbolic Logic 56 1991 176 181
144. J.K. Truss The group of the countable universal graph Math. Proc. Cambridge Philos. Soc. 98 1985 213 245
145. J.K. Truss Generic automorphisms of homogeneous structures Proc. Lond. Math. Soc. 65 1992 121 141
146. J.K. Truss Infinite permutation groups II. Subgroups of small index J. Algebra 120 1989 494 515
147. F. Wagner Simple Theories 2000 Kluwer Dordrecht
148. B. Zilber Uncountably Categorical Theories Translations of Math. Monographs 1993 Amer. Math. Soc. Providence, RI