Stack Exchange network consists of 183 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.
@AsafKaragila in "kenneth kunen set theory an introduction to independence proofs" he uses $\sf ZF^-$ to $\sf ZF$-regularity, I will change it to "$\sf ZF$-regularity" in the question to make it clearer.
Hi Asaf, thanks for answering, you wrote "the atoms are indexed by countable sequences of ordinals, so that there are always surjections onto every set but there is no omega sequence", how does the first and second part works together? And how does it gives you surjective onto a set like omega2?