This is the title of a three-parts talk I gave at the CMU Model Theory Seminar on Oct. 14, 21, 28, 2013. I would like to thank Rami Grossberg and Alexei Kolesnikov for helpful discussions when preparing this seminar.

A recurring theme in model theory is upward transfer of a
property, using only information about countable structures to
derive information on all uncountable structures. For example,
knowing that an Abstract Elementary Class has no maximal
countable model lets us deduce it has an uncountable model. A
generalization of this fact was proved by Shelah in a milestone
paper, where he showed how to obtain existence of models of an
L_{ω1,ω} sentence at ℵ_{n} using a property of
systems of countable models indexed by n-dimensional cubes that he
called n-goodness. A class where n-goodness holds for all n is
called excellent. It turns out that excellence implies existence
of arbitrarily large models, and much more.

The concept of excellence got renewed attention, when Boris Zilber used it to study Schanuel's conjecture for the complex numbers. Zilber studied quasiminimal classes that had to satisfy several requirements, including a version of excellence. Until recently, it was unclear whether the excellence requirement was necessary. In this series of talks, I will present a result of Bays, Hart, Hyttinen, Kesälä and Kirby that shows it is not: Excellence holds for free in quasiminimal classes. I aim to make the talks reasonably self-contained and use only minimal backgroud.

- Martin Bays, Bradd Hart, Tapani Hyttinen, Meeri Kesälä, Jonathan Kirby.
*Quasiminimal structures and excellence*, 2013. - Jonathan Kirby.
*On Quasiminimal Excellent Classes*, Journal of Symbolic Logic 75 (2010), no. 2, 551-564. - Levon Haykazyan.
*Categoricity in quasiminimal pregeometry classes*, 2013. - Saharon Shelah.
*The number of uncountable models of Ψ ∈ L*, Israel Journal of Mathematics 46 (1983), no. 3, 212-240._{ω1,ω}. Part A - Saharon Shelah.
*The number of uncountable models of Ψ ∈ L*, Israel Journal of Mathematics 46 (1983), no. 4, 241-273._{ω1,ω}. Part B - Rami Grossberg, Olivier Lessmann.
*Dependence relation in pregeometries*, Algebra Universalis 44 (2000), no. 3-4, 199-216.

Note that the version of Quasiminimal structures and excellence on arXiv is not the latest one. In particular, the proof of Lemma 5.2 in the version linked above is incomplete.