Nieuws

Forcing methods in the setting of E-recursion are reviewed from the point of view of computations. The effects of forcing on definability classes associated with E-recursion at levels of the pure type ...