A Conjecture of Erdös: Proof by Moreira, Richter and Robertson

This lecture presents a short proof of a conjecture by Erdös, recently proven by Moreira, Richter, and Robertson. The theorem states that every subset of positive density contains the sum of two infinite subsets. The lecture explores related questions, vocabulary, topological dynamical systems, and the detailed proof of the proposition. The proof involves constructing a topological dynamical system, clopen subsets, invariant measures, and sequences of integers. The lecture concludes with the construction of a Kronecker factor and sets of bad integers.