A Review on Strong Interpolation Theorem for Way Below Relation
The present paper aims to introduce the principal definitions and proof of fundamental properties of the so called "Way Below" relation. We introduce an alternative proof, with respect to \cite{Scott}, of the strong interpolation theorem. The strong interpolation theorem is the theoretical result which provide computational consistency to way below relation because it guarantee the use of successive algorithm in order to find a better and better approximation of the result.