A subset of the integers larger than 1 is called $\textit{primitive}$ if no member divides another. Erdős proved in 1935 that the sum of $1/(n \log n)$ over $n$ in a primitive set $A$ is universally bounded for any choice of $A$. In 1988, he famously asked if this universal bound is attained by the set of prime numbers. In this talk we shall discuss some recent progress towards this conjecture and related results, drawing on ideas from analysis, probability, & combinatorics.

I will be talking of recent results by Ayse Berkman and myself, as well as about a more general program of research in this area.

I will present joint work with A. Pillay on the theory of NIP formulas in arbitrary groups, which exhibit a local formulation of the notion of finitely satisfiable generics (as defined by Hrushovski, Peterzil, and Pillay). This setting generalizes ``local stable group theory" (i.e., the study of stable formulas in groups) and also the case of arbitrary NIP formulas in pseudofinite groups. Time permitting, I will mention an application of these results in additive combinatorics.

I will elaborate on some recent developments on the theory of special functions which are relevant to the calculation of Feynman integrals in perturbative quantum field theory, highlighting the connections with some recent ideas in pure mathematics.

The smooth mapping class group of the 4-sphere is pi_0 of the space of orientation preserving self-diffeomorphisms of S^4. At the moment we have no idea whether this group is trivial or not. Watanabe has shown that higher homotopy groups can be nontrivial. Inspired by Watanabe's constructions, we'll look for interesting self-diffeomorphisms of S^4. Most of the talk will be an outline for a program to find a nice geometric generating set for this mapping class group; a few small steps in the program are actually theorems. The point of finding generators is that if they are explicit enough then you have a hope of either showing that they are all trivial or finding an invariant that is well adapted to obstructing triviality of these generators.