Prikry-type forcing and minimal $\alpha$-degree

Yang Sen

In this paper, we introduce several classes of Prikry-type forcing notions, two of which are used to produce minimal generic extensions, and the third is applied in $\alpha$-recursion t…