The random graph

Erd\H{o}s and R\'{e}nyi showed the paradoxical result that there is a unique (and highly symmetric) countably infinite random graph. This graph, and its automorphism group, form the subject of the present survey.Comment: Revised chapter for new edition of book "The Mathematics of Paul Erd\H{o}s

Logical limit laws for minor-closed classes of graphs

Let $\mathcal G$ be an addable, minor-closed class of graphs. We prove that the zero-one law holds in monadic second-order logic (MSO) for the random graph drawn uniformly at random from all {\em connected} graphs in $\mathcal G$ on $n$ vertices, and the convergence law in MSO holds if we draw uniformly at random from all graphs in $\mathcal G$ on $n$ vertices. We also prove analogues of these results for the class of graphs embeddable on a fixed surface, provided we restrict attention to first order logic (FO). Moreover, the limiting probability that a given FO sentence is satisfied is independent of the surface $S$. We also prove that the closure of the set of limiting probabilities is always the finite union of at least two disjoint intervals, and that it is the same for FO and MSO. For the classes of forests and planar graphs we are able to determine the closure of the set of limiting probabilities precisely. For planar graphs it consists of exactly 108 intervals, each of length $\approx 5\cdot 10^{-6}$. Finally, we analyse examples of non-addable classes where the behaviour is quite different. For instance, the zero-one law does not hold for the random caterpillar on $n$ vertices, even in FO.Comment: minor changes; accepted for publication by JCT

Set Theory

This workshop included selected talks on pure set theory and its applications, simultaneously showing diversity and coherence of the subject

On the Model Theory of Random Graphs

Hrushovski's amalgamation construction can be used to join a collection of finite graphs to produce a ``generic'' of this collection. The choice of the collection and the way they are joined are determined by a real-valued parameter α. Classical results have shown that for α irrational in (0,1), the model theory of the resulting structure is very well-behaved. This dissertation examines analogous constructions for rational r. Depending on the way in which the parameter's control of the construction is defined, the model theory of the resulting generic will be either very well-behaved or very wild. We characterize when each of these situations occurs