# Tagged Questions

144 views

419 views

### A proposed axiom of Laver (updated)

A few months back, I posted a question asking about a proposed axiom of Laver's and I, unfortunately, left out a critical piece. Here is the full axiom: (L) Some elementary embedding ...
252 views

### PFA and the compactness/incompactness of $\omega_2$

There are many consequences of the Proper Forcing Axiom (PFA) which essentially say that $\omega_2$ has a lot of compactness. For instance, Matteo Viale and Christoph Weiss have a few papers in ...
577 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 ...
323 views

### Adding large sets by countable conditions preserving the GCH

Let $\kappa$ be an inaccessible cardinal. Is there any forcing notion $P$ with the following properties: 1-$P$ preserves GCH and the strong inaccessibility of $\kappa$, 2-$P$ adds a subset of ...
241 views

### $< \aleph_1-$support Product of Cohen forcings

Suppose $\kappa$ is an inaccessible cardinal, and let $P$ be the $< \aleph_1-$support product of $Add(\alpha^{++}, 1)$ for singular cardinals $\alpha < \kappa.$ 1- Does this forcing preserve ...
667 views

### Questions about $\aleph_1-$closed forcing notions

"Foreman`s maximality principle" states that every non-trivial forcing notion either adds a real or collapses some cardinals. This principle has many consequences including: 1) $GCH$ fails ...
300 views

### Does a generic normal measure extend the club filter?

This question is related to this one. The setup is as follows: In $V$, $\kappa$ is supercompact and $\mathbb{P} = \mathrm{Coll}(\kappa, \aleph_2)$ is the Levy collapse. $G$ is $(V,P)$-generic, and ...
How can we force the failure of $\square(\kappa)$ at an inaccessible $\kappa$, where $\square(\kappa)$ is defined as follows: There is a sequence $(C_i:i< \kappa)$ such that: (1) $C_{i+1} = ... 3answers 675 views ### Tractability of forcing-invariant statements under large cardinals It is usual to mention theorems of the kind: Th. Assume there is a proper class of Woodin cardinals,$\mathbb{P} $is a partial order and$G \subseteq \mathbb{P}$is V-generic, then$V \models \phi ...
Let $I$ be a normal ideal on $P_{\kappa} (\lambda)$. Let $V$ denote our ground model. Now we force with the $I$-positive sets, and if $G$ is the resulting generic filter, it can be shown that $G$ is a ...