Oxford

Counterexamples to Vaught's Conjecture regarding the number of countable
models of a theory in a logical language, may felicitously be studied by investigating a tree
of types of different arities and belonging to different languages. This
tree emerges from a category of topological spaces, and may be studied as such, without
reference to the original logic. The tree has an intuitive character of absoluteness
and of self-similarity. We present theorems expressing these ideas, some old and some new.

I will explain an approach to Hamiltonian reduction using derived
symplectic geometry. Roughly speaking, the reduced space can be
presented as an intersection of two Lagrangians in a shifted symplectic
space, which therefore carries a natural symplectic structure. A slight
modification of the construction gives rise to quasi-Hamiltonian
reduction. This talk will also serve as an introduction to the wonderful
world of derived symplectic geometry where statements that morally ought
to be true are indeed true.

I shall outline a general method for finding upper bounds on the diameters of finite groups, based on the Solovay-Kitaev procedure from quantum computation. This method may be fruitfully applied to groups arising as quotients of many familiar pro-p groups. Time permitting, I will indicate a connection with weak spectral gap, and give some applications.

Waldhausen defined higher K-groups for categories with certain extra structure. In this talk I will define categories with cofibrations and weak equivalences, outline Waldhausen's construction of the associated K-Theory space, mention a few important theorems and give some examples. If time permits I will discuss the infinite loop space structure on the K-Theory space.