  Wirsing's theorem on approximating algebraic numbers by algebraic numbers of
bounded degree is a generalization of Roth's theorem in Diophantine
approximation. We study variations of Wirsing's theorem where the inequality in
the theorem is strengthened, but one excludes a certain easily-described
special set of approximating algebraic points.
