Video: Proving Theorems from Reflection FOMUS meeting on Foundations of Mathematics - how Reflection principles can justify the strong axioms of infinity that can settle problems in analysis. Bielefeld 2016