New answers tagged forcing
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) ...
- 287
Top 50 recent answers are included