Approximation Theorems in Commutative Algebra