Publications
Borel circle squaring
Annals of Pure and Applied Logic, 2017