In this lecture, I will discuss the resolution of the Arthur-Barbasch-Vogan conjecture on the unitarity of special unipotent representations for any real form of a connected reductive complex Lie group, with contributions by several groups of authors (Barbasch-Ma-Sun-Zhu, Adams-Arancibia-Mezo, and Adams-Miller-van Leeuwen-Vogan). The main part of the lecture will be on the approach of the first group of authors for the case of real classical groups: counting by coherent families (combinatorial aspect), construction by theta lifting (analytic aspect), and distinguishing by invariants (algebraic-geometric aspect), resulting in a full classification, and with unitarity as a direct consequence of the construction.

I shall present a new flexible method showing that every countable model of PA admits a pointwise definable end-extension, one in which every point is definable without parameters. Also, any model of PA of size at most continuum admits an extension that is Leibnizian, meaning that any two distinct points are separated by some expressible property. Similar results hold in set theory, where one can also achieve V=L in the extension, or indeed any suitable theory holding in an inner model of the original model.