Can there exist a model $M$ of $\sf ZFC$ and an external permutation $j$ on $M$ such that $j[(V_{\alpha+1})^M]=(V_\alpha)^M$ for each infinite $\alpha$?
Can there exists a model of ZFC with permutation that sends successor infinite stages to their predecessors?
Zuhair Al-Johar
- 11.3k
- 1
- 13
- 47