The descriptive set theory of the Lebesgue density theorem

Alessandro Andretta, Riccardo Camerlo

Given an equivalence class $[A]$ in the measure algebra of the Cantor space, let $\hat{\Phi }([A])$ be the set of points having density 1 in $A$. Sets of the form $\hat{\Phi }([A])$ are called…