Logic Seminar

Rahim Moosa, University of Waterloo

The binding group theorem in stable theories, as a bitorsor.

Recently,  Anand Pillay and I developed the theory of binding groups in the setting of CCM — the first order theory of compact complex manifolds. But this talk will not be about that. Rather, I will talk about a somewhat streamlined and simplified presentation of the binding group theorem for stable theories (that appears in the paper with Pillay mentioned above). There is little novelty here, except maybe the bitorsorial presentation that we give (and like).

MC 5403