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) ...
Top 50 recent answers are included
Related Tags
forcing × 783set-theory × 733
lo.logic × 400
large-cardinals × 139
reference-request × 101
model-theory × 39
descriptive-set-theory × 35
infinite-combinatorics × 32
axiom-of-choice × 31
gn.general-topology × 24
boolean-algebras × 24
continuum-hypothesis × 21
ultrafilters × 19
inner-model-theory × 19
independence-results × 16
ct.category-theory × 15
computability-theory × 14
ho.history-overview × 11
posets × 11
measure-theory × 10
determinacy × 9
cardinal-characteristics × 9
cardinal-arithmetic × 9
inner-models × 8
soft-question × 7