jdh.hamkins.org
The hierarchy of geometric constructibility: can we go back?
I have recently become interested in the hierarchy of relative constructibility in geometry (see the discussion on my Twitter thread). From a given collection of points in the plane, we may proceed…