# Tagged Questions

**9**

votes

**2**answers

593 views

### Why is this theorem (about $L(P(\omega_1))^V$ and $L(P(\omega_1))^{V[G]}$) nice?

I was recently told that the following (due to M. Viale) is a nice theorem:
Suppose there are arbitrarily large supercompacts, and $\mathrm{MM}$ holds in $V$. Let $G$ be generic for a proper ...

**2**

votes

**2**answers

364 views

### When forcing with a poset, why do we order the poset in the order that we do?

In forcing, we take a collection of forcing conditions and impose a partial order on them. The convention is that if $p$ is stronger than $q$, then we say $p < q$. This is perfectly fine, but it ...