Does this point have to be exactly the middle? I don’t think so because of the “only straightedge” constraint, but I’m not sure of the meaning of “midway” in English. In geometry, is it “somewhere between the two points” or “exactly the middle”? (I’m not native English speaker)

]]>$\mathscr P$($\lambda$) $nsubseteq$ $M$

where $\lambda$ = { $j^n$($\kappa$): $n$ $\lt$ $\omega$}.

My question is simply this: If, for a set-theoretic potentialist, $V$ is the limit structure of all models of $ZFC$ (and it would seem that it would be, given your comments in the slide presentation regarding the limit structure), does the Kunen Inconsistency prove the set-theoretic potentialist’s point of view (since, according to what is written on the slide presentation, “the actual limit structure does not exist”) ?

]]>