1. H. Adler, A geometric introduction to forking and thorn-forking, J. Math. Log. 9 (2009), no. 1, 1–20.
  2. E. Alouf and C. d’Elbée, A new dp-minimal expansion of the integers, J. Symb. Log. 84 (2019), no. 2, 632–663.
  3. M. Aschenbrenner, A. Dolich, D. Haskell, D. Macpherson, and S. Starchenko, Vapnik-Chervonenkis density in some theories without the independence property, II, Notre Dame J. Form. Log. 54 (2013), no. 3-4, 311–363.
  4. M. Aschenbrenner, L. van den Dries, and J. van der Hoeven, Asymptotic differential algebra and model theory of transseries, Annals of Mathematics Studies, vol. 195, Princeton University Press, Princeton, NJ, 2017.
  5. J. T. Baldwin, Fundamentals of stability theory, Perspectives in Mathematical Logic, Springer-Verlag, Berlin, 1988.
  6. S. Barbina and E. Casanovas, Model theory of Steiner triple systems, J. Math. Log. 20 (2020), no. 2, 2050010, 26.
  7. A. Baudisch, On superstable groups, J. London Math. Soc. (2) 42 (1990), no. 3, 452–464.
  8. ⸻, A Fraïssé limit of nilpotent groups of finite exponent, Bull. London Math. Soc. 33 (2001), no. 5, 513–519.
  9. ⸻, More Fraïssé limits of nilpotent groups of finite exponent, Bull. London Math. Soc. 36 (2004), no. 5, 613–622.
  10. ⸻, Neostability-properties of Fraïssé limits of 2-nilpotent groups of exponent p > 2, Arch. Math. Logic 55 (2016), no. 3-4, 397–403.
  11. A. Baudisch and A. Pillay, A free pseudospace, J. Symbolic Logic 65 (2000), no. 1, 443–460.
  12. A. Bès, A survey of arithmetical definability, Bull. Belg. Math. Soc. Simon Stevin (2001), no. suppl., 1–54, A tribute to Maurice Boffa.
  13. N. Bhardwaj and C.-M. Tran, The additive groups of Z and Q with predicates for being square-free, J. Symb. Log. 86 (2021), no. 4, 1324–1349.
  14. E. Casanovas, NIP formulas and theories, Model Theory Seminar notes, http://www.ub.edu/ modeltheory/documentos/nip.pdf, 2010.
  15. E. Casanovas and F. O. Wagner, The free roots of the complete graph, Proc. Amer. Math. Soc. 132 (2004), no. 5, 1543–1548 (electronic).
  16. Z. Chatzidakis, Simplicity and independence for pseudo-algebraically closed fields, Models and computability (Leeds, 1997), London Math. Soc. Lecture Note Ser., vol. 259, Cambridge Univ. Press, Cambridge, 1999, pp. 41–61.
  17. ⸻, Properties of forking in ω-free pseudo-algebraically closed fields, J. Symbolic Logic 67 (2002), no. 3, 957–996.
  18. ⸻, Independence in (unbounded) PAC fields, and imaginaries, Around Classification Theory, Leeds, http://www.logique.jussieu.fr/~zoe/papiers/Leeds08.pdf, 2008.
  19. Z. Chatzidakis and A. Pillay, Generic structures and simple theories, Ann. Pure Appl. Logic 95 (1998), no. 1-3, 71–92.
  20. G. Cherlin and S. Shelah, Superstable fields and groups, Ann. Math. Logic 18 (1980), no. 3, 227–270.
  21. G. Cherlin, S. Shelah, and N. Shi, Universal graphs with forbidden subgraphs and algebraic closure, Adv. in Appl. Math. 22 (1999), no. 4, 454–491.
  22. G. Cherlin and N. Shi, Graphs omitting a finite set of cycles, J. Graph Theory 21 (1996), no. 3, 351–355.
  23. A. Chernikov, Theories without the tree property of the second kind, Ann. Pure Appl. Logic 165 (2014), no. 2, 695–723.
  24. A. Chernikov and M. Hils, Valued difference fields and NTP2, Israel J. Math. 204 (2014), no. 1, 299–327.
  25. A. Chernikov, E. Hrushovski, A. Kruckman, K. Krupiński, S. Moconja, A. Pillay, and N. Ramsey, Invariant measures in simple and in small theories, J. Math. Log. 23 (2023), no. 2, Paper No. 2250025, 37.
  26. A. Chernikov and I. Kaplan, Forking and dividing in NTP2 theories, J. Symbolic Logic 77 (2012), no. 1, 1–20.
  27. A. Chernikov and N. Ramsey, On model-theoretic tree properties, J. Math. Log. 16 (2016), no. 2, 1650009, 41.
  28. G. Conant, Forking and dividing in Henson graphs, Notre Dame J. Form. Log. 58 (2017), no. 4, 555–566.
  29. ⸻, Multiplicative structure in stable expansions of the group of integers, Illinois J. Math. 62 (2018), no. 1-4, 341–364.
  30. G. Conant and A. Kruckman, Independence in generic incidence structures, J. Symb. Log. 84 (2019), no. 2, 750–780.
  31. G. Conant and A. Pillay, Stable groups and expansions of (Z, +, 0), Fund. Math. 242 (2018), no. 3, 267–279.
  32. G. Conant and C. Terry, Model theoretic properties of the Urysohn sphere, Ann. Pure Appl. Logic 167 (2016), no. 1, 49–72.
  33. Gabriel Conant, Christian d’Elbée, Yatir Halevi, Léo Jimenez, and Silvain Rideau-Kikuchi, Enriching a predicate and tame expansions of the integers, J. Math. Log. 25 (2025), no. 1, Paper No. 2450011.
  34. C. d’Elbée, Generic expansions by a reduct, J. Math. Log. 21 (2021), no. 3, Paper No. 2150016, 44.
  35. C. d’Elbée, I. Müller, N. Ramsey, and D. Siniora, Model-theoretic properties of nilpotent groups and Lie algebras, J. Algebra 662 (2025), 640–701.
  36. V. Disarlo, T. Koberda, and J. de la Nuez González, The model theory of the curve graph, arXiv:2008.10490, 2020.
  37. A. Dolich, Forking and independence in o-minimal theories, J. Symbolic Logic 69 (2004), no. 1, 215–240.
  38. A. Dolich and J. Goodrick, Strong theories of ordered Abelian groups, Fund. Math. 236 (2017), no. 3, 269–296.
  39. A. Dolich, J. Goodrick, and D. Lippel, Dp-minimality: basic facts and examples, Notre Dame J. Form. Log. 52 (2011), no. 3, 267–288.
  40. L. van den Dries, Tame topology and o-minimal structures, London Mathematical Society Lecture Note Series, vol. 248, Cambridge University Press, Cambridge, 1998.
  41. M. Džamonja and S. Shelah, On ◁∗-maximality, Ann. Pure Appl. Logic 125 (2004), no. 1-3, 119–158.
  42. D. M. Evans and M. W. H. Wong, Some remarks on generic structures, J. Symbolic Logic 74 (2009), no. 4, 1143–1154.
  43. N. Granger, Stability, simplicity, and the model theory of bilinear forms, Ph.D. thesis, University of Manchester, www.maths.manchester.ac.uk/~mprest/NICKTHF.ps, 1999.
  44. P. Hall, Some constructions for locally finite groups, J. London Math. Soc. 34 (1959), 305–319.
  45. G. Harrison-Shermoen, Independence relations in theories with the tree property, Ph.D. thesis, UC Berkeley, 2013.
  46. B. Hart, Stability theory and its variants, Model theory, algebra, and geometry, Math. Sci. Res. Inst. Publ., vol. 39, Cambridge Univ. Press, Cambridge, 2000, pp. 131–149.
  47. C. W. Henson, A family of countable homogeneous graphs, Pacific J. Math. 38 (1971), 69–83.
  48. ⸻, Countable homogeneous relational structures and ℵ0-categorical theories, J. Symbolic Logic 37 (1972), 494–500.
  49. H. Herre, A. H. Mekler, and K. W. Smith, Superstable graphs, Fund. Math. 118 (1983), no. 2, 75–79.
  50. P. Hieronymi and T. Nell, Distal and non-distal pairs, J. Symb. Log. 82 (2017), no. 1, 375–383.
  51. W. Hodges, Model theory, Encyclopedia of Mathematics and its Applications, vol. 42, Cambridge University Press, Cambridge, 1993.
  52. E. Hrushovski, A new strongly minimal set, Ann. Pure Appl. Logic 62 (1993), no. 2, 147–166, Stability in model theory, III (Trento, 1991).
  53. ⸻, Pseudo-finite fields and related structures, Model theory and applications, Quad. Mat., vol. 11, Aracne, Rome, 2002, pp. 151–212.
  54. A. A. Ivanov, The structure of superflat graphs, Fund. Math. 143 (1993), no. 2, 107–117.
  55. Will Johnson, The canonical topology on dp-minimal fields, J. Math. Log. 18 (2018), no. 2, 1850007, 23.
  56. I. Kaplan and N. Ramsey, On Kim-independence, J. Eur. Math. Soc. (JEMS) 22 (2020), no. 5, 1423– 1474.
  57. ⸻, Transitivity of Kim-independence, Adv. Math. 379 (2021), Paper No. 107573, 29.
  58. I. Kaplan, N. Ramsey, and S. Shelah, Local character of Kim-independence, Proc. Amer. Math. Soc. 147 (2019), no. 4, 1719–1732.
  59. I. Kaplan and S. Shelah, Decidability and classificaton of the theory of integers with primes, J. Symb. Log. 82 (2017), no. 3, 1041–1050.
  60. B. Kim, Simplicity, and stability in there, J. Symbolic Logic 66 (2001), no. 2, 822–836.
  61. B. Kim and H. J. Kim, Notions around tree property 1, Ann. Pure Appl. Logic 162 (2011), no. 9, 698–709.
  62. B. Kim and A. Pillay, Simple theories, Ann. Pure Appl. Logic 88 (1997), no. 2-3, 149–164, Joint AILA-KGS Model Theory Meeting (Florence, 1995).
  63. M. Kojman and S. Shelah, Nonexistence of universal orders in many cardinals, J. Symbolic Logic 57 (1992), no. 3, 875–891.
  64. A. Kruckman and N. Ramsey, Generic expansion and Skolemization in NSOP1 theories, Ann. Pure Appl. Logic 169 (2018), no. 8, 755–774.
  65. M. Malliaris and S. Shelah, Cofinality spectrum theorems in model theory, set theory, and general topology, J. Amer. Math. Soc. 29 (2016), no. 1, 237–297.
  66. D. Marker, Model theory, Graduate Texts in Mathematics, vol. 217, Springer-Verlag, New York, 2002.
  67. D. Marker, M. Messmer, and A. Pillay, Model theory of fields, second ed., Lecture Notes in Logic, vol. 5, Association for Symbolic Logic, La Jolla, CA, 2006.
  68. A. Medvedev, QACFA, arXiv:1508.06007, 2015.
  69. J. Melleray, Some geometric and dynamical properties of the Urysohn space, Topology Appl. 155 (2008), no. 14, 1531–1560.
  70. C. Milliet, Definable envelopes in groups having a simple theory, J. Algebra 492 (2017), 298–323.
  71. Z. Mohammadi Khangheshlaghi and K. Tent, On the model theory of the Farey graph, arXiv:2503.02121, 2025.
  72. S. Montenegro, Pseudo real closed fields, pseudo p-adically closed fields and NTP2, Ann. Pure Appl. Logic 168 (2017), no. 1, 191–232.
  73. S. Mutchnik, On NSOP2 theories, arXiv:2206.08512, 2022.
  74. A. Onshuus and A. Usvyatsov, On dp-minimality, strong dependence and weight, J. Symbolic Logic 76 (2011), no. 3, 737–758.
  75. D. Palacín and R. Sklinos, On superstable expansions of free Abelian groups, Notre Dame J. Form. Log. 59 (2018), no. 2, 157–169.
  76. R. Patel, A family of countably universal graphs without SOP4, preprint, 2006.
  77. A. Pillay and C. Steinhorn, Definable sets in ordered structures. I, Trans. Amer. Math. Soc. 295 (1986), no. 2, 565–592.
  78. K. Podewski and M. Ziegler, Stable graphs, Fund. Math. 100 (1978), no. 2, 101–107.
  79. B. Poizat, A course in model theory, Universitext, Springer-Verlag, New York, 2000, An introduction to contemporary mathematical logic, Translated from the French by Moses Klein and revised by the author.
  80. ⸻, Supergénérix, J. Algebra 404 (2014), 240–270, À la mémoire d’Éric Jaligot. [In memoriam Éric Jaligot].
  81. T. Rzepecki, Inner ultrahomogeneous groups, arXiv:2405.19640, 2024.
  82. Z. Sela, Diophantine geometry over groups VIII: Stability, Ann. of Math. (2) 177 (2013), no. 3, 787–868.
  83. S. Shelah, Differentially closed fields, Israel J. Math. 16 (1973), 314–328.
  84. ⸻, Classification theory and the number of nonisomorphic models, second ed., Studies in Logic and the Foundations of Mathematics, vol. 92, North-Holland Publishing Co., Amsterdam, 1990.
  85. ⸻, Toward classifying unstable theories, Ann. Pure Appl. Logic 80 (1996), no. 3, 229–255.
  86. S. Shelah and A. Usvyatsov, More on SOP1 and SOP2, Ann. Pure Appl. Logic 155 (2008), no. 1, 16–31.
  87. P. Simon, On dp-minimal ordered structures, J. Symbolic Logic 76 (2011), no. 2, 448–460.
  88. ⸻, Distal and non-distal NIP theories, Ann. Pure Appl. Logic 164 (2013), no. 3, 294–318.
  89. ⸻, A guide to NIP theories, Lecture Notes in Logic, vol. 44, Association for Symbolic Logic, Chicago, IL; Cambridge Scientific Publishers, Cambridge, 2015.
  90. K. W. Smith, Stability and categoricity of lattices, Canadian J. Math. 33 (1981), no. 6, 1380–1419.
  91. K. Tent and M. Ziegler, A course in model theory, Lecture Notes in Logic, vol. 40, Association for Symbolic Logic, La Jolla, CA, 2012.
  92. F. O. Wagner, Simple theories, Mathematics and its Applications, vol. 503, Kluwer Academic Publishers, Dordrecht, 2000.
  93. A. J. Wilkie, Model completeness results for expansions of the ordered field of real numbers by restricted Pfaffian functions and the exponential function, J. Amer. Math. Soc. 9 (1996), no. 4, 1051–1094.
  94. C. Wood, Notes on the stability of separably closed fields, J. Symbolic Logic 44 (1979), no. 3, 412–416.
  95. M. Ziegler, An exposition of Hrushovski’s new strongly minimal set, Ann. Pure Appl. Logic 164 (2013), no. 12, 1507–1519.