It is not the case that Transferring independence results from ZFA to ZF requires the additional Jech-Sochor embedding theorem, which is a non-trivial further result.
?Set your confidence on the premises below to see your aggregate.
No one has weighed in yet. Be the first to share reasons for or against this statement.