The version of generic absoluteness for second order number theory we need in this paper
follows readily from [1]} and the assumptions that there exists
class many Woodin limits of Woodin. The theorem below reduces these large cardinal assumptions to the existence of class many Woodin cardinals.
