Events Tagged: "forcing"

1 events with tag "forcing"

1963 ID: 4566
Paul Cohen invents forcing method - proves independence of continuum hypothesis and axiom of choice
ID: 4566