This is a preview. Log in through your library . Abstract Forcing methods in the setting of E-recursion are reviewed from the point of view of computations. The effects of forcing on definability ...