1 problem

Work over $\operatorname{ZFU}$. Here SVC is the principle that there exists a set $S$ such that for every set $x$ there is an ordinal $\alpha$ with $x\preceq^* S\times\alpha$, and…