$G_{\delta }$ Circle Squaring

Spencer Unger, Narmada Varadarajan, Felix Weilacher

We show that a circle and square of the same area in ${\mathbb{R}}^2$ are equidecomposable by translations using ${\mathbf{\Delta }}_2^0$ pieces. That is, pieces which are simultaneously $F_{\sigma }$…