On the significance of parameters and the projective level in the Choice and Comprehension axioms

Vladimir Kanovei, Vassily Lyubetsky

We make use of generalized iterations of Jensen forcing to define a cardinal-preserving generic model of ZF for any $n\ge 1$ and each of the following four Choice hypotheses: (1) $…