Constructible Sets in Real Geometry door Carlos Andradas & Ludwig Brocker