Mean convergence of polynomial averages and continuous logic.

Date: