Muchnik’s proof of Tarski-Seidenberg. Notes available from http://www.math.ohio-state.edu/ schoutens/PDF/Muchnik.pdf (2001)

by H Schoutens