If $\mathbb{P}$ is a separative poset that doesn't add $\theta$-sequences then every intersection of $\theta$ dense open sets is dense in $\mathbb{P}$

List Question

If models of set theory can be construed as categories, can notions of forcing be construed as functors?

Forcing $M[G] \models CH$

Why adding a club of $\aleph_1$ collapses $\aleph_1$ to $\aleph_0$?

Absoluteness of $\Sigma_2$ sentences in forcing

How to force p<b?

Consistency of restricted forms of Martin's Axiom with the negation of the Continuum Hypothesis

Introducing a new element to make a new model of set theory

A filter $G$ on $P$ is generic iff whenever $W$ is a partition of $P$, $G \cap W \not = \emptyset$

Generic in Boolean-Valued-Models

Is there any category theoretic proof for independence of Continuum Hypothesis?

Type-definable Forcing or forcing in a non-first order setting

PDE Transport Equation(?) with Decay and Forcing Term

A question from Kunen's book: chapter VII (H9), about diamond principle

A forcing that is $\omega_1$-closed and $\omega_2$-c.c.

If $\mathbb{P}$ is a separative poset that doesn't add $\theta$-sequences then every intersection of $\theta$ dense open sets is dense in $\mathbb{P}$

Trending Questions

Popular # Hahtags

Popular Questions