From Newsgroup: sci.logic

On 02/21/2024 12:36 PM, Ross Finlayson wrote:

Cohen's forcing is because of illative ordinals and pair-wise sets.

That it's sort of "Dirichlet for Poincare" helps explain things.

--- Synchronet 3.22a-Linux NewsLink 1.2