New answers tagged

1 vote

Understanding descending intersections of generic extensions

The theorem should state that the separative quotient of $B_{0}/{\sim}$ is isomorphic to $B_{\kappa}^+$. Proof. Recall that the separative quotient of a poset $P$ is the unique (up to isomorphism) ...
user avatar
  • 287

Top 50 recent answers are included