# Tagged Questions

**7**

votes

**1**answer

238 views

### Inaccessible becomes successor of singular

Is it possible, starting from any large cardinal assumption, to find a countably closed forcing $\mathbb{P}$ such that for some inaccessible $\kappa$, $\Vdash_\mathbb{P} "\kappa = \lambda^+$ and ...

**7**

votes

**1**answer

118 views

### Strongly compact cardinal with bad covering properties

This is a continuation of the question covering properties of strongly compact embedding.
Recall that a cardinal $\kappa$ is $\nu$-strongly compact cardinal if there is an elementary embedding ...

**10**

votes

**0**answers

172 views

### Namba forcing and semiproperness

This question is the result of leaving "Proper and Improper Forcing" on my nightstand by accident.
Is the statement "Namba forcing is semiproper" known to be equiconsistent with some more standard ...

**4**

votes

**1**answer

173 views

### Can a Measureable Cardinal Become the Least Weakly Compact Cardinal in a Forcing Extension?

I am trying to establish whether it is consistent that some property holds at the least weakly compact cardinal. I know that the property holds at measureables.
Hence (hoping everything else goes ...

**10**

votes

**2**answers

589 views

### Questions about Prikry forcing and Cohen forcing

I have some questions.
The first one is about the product of Prikry's forcing.
Let $\kappa$ be a measurable cardinal, $U_1, U_2$ be normal measures on $\kappa$ and let $\mathbb{P}_{U_1}, ...

**10**

votes

**0**answers

246 views

### cardinals below the critical point of a generic embedding

This may be an easy question. Are the cardinals below the critical point of a precipitous ideal embedding always absolute between the generic ultrapower and the generic extension?
To focus on the ...

**5**

votes

**1**answer

207 views

### $\omega$ universally Baire sets, tree representations

I've recently encountered the notion of a universally Baire set, and I've tried to look at the paper by Feng, Magidor and Woodin where this notion is studied. There are several points that confuse me.
...

**13**

votes

**0**answers

563 views

### Souslin trees and weakly compact cardinals

In Souslin trees on the first inaccessible cardinal it is asked if it is consistent that there are no $\kappa-$Souslin trees at the least inaccessible cardinal $\kappa$.
In this question I would like ...

**2**

votes

**0**answers

104 views

### Does the Lévy collapse obey this nice characterization? [duplicate]

This question is related to an issue in my answer to Monroe Eskew's question on the failure of Cantor-Bernstein for the Lévy collapse.
Question. Is the Lévy collapse $\text{Coll}(\omega,\lt\kappa)$ ...

**1**

vote

**3**answers

293 views

### Can the structure of an ultrafilter determine the structure of its ultrapower?

Usually we work with ultrafilters as pure sets without any structure.
Q1. Is there any important notion of structure on an ultrafilter?
Q2. Is there any non-trivial notion of structure on ...

**9**

votes

**1**answer

260 views

### Suslin trees in ccc ideals

A countably complete ideal $I$ on a set $Z$ ideal is c.c.c. when there is no uncountable family of pairwise disjoint $I$-positive subsets of $Z$. If such an ideal exists, then there exists a weakly ...

**1**

vote

**1**answer

170 views

### Different Methods for Forcing Total Failure of Generalized Continuum Hypothesis

It seems there are few papers on total failure of Generalized Continuum Hypothesis.
As an example Merimovich in 2007 constructed a model of ZFC such that GCH fails everywhere assuming consistency of ...

**5**

votes

**3**answers

623 views

### PFA: A New Godel's Program & A New Large Cardinal Ladder (Updated)

We know $PFA$ implies $2^{\aleph_0}=\aleph_2$.
Q1. What does $PFA$ say about other values of continuum function? Does proper forcing axiom carry any further information about values of continuum ...

**8**

votes

**1**answer

286 views

### What is known about equiconsistency of PFA and existence of supercompact cardinals?

Question: What is the last status of known partial results and new approaches on the problem of equiconsistency of PFA and existence of supercompact cardinals?

**10**

votes

**1**answer

347 views

### V=HOD & The Height of the Large Cardinal Tree

As we know the assumption $V=L$ adds a restriction on the height of the large cardinal tree. Also there is a strict border like $0^{\sharp}$ exists such that all large cardinal axioms which are ...

**1**

vote

**1**answer

255 views

### $(\kappa , \lambda)$ - Minimal Models of $\text{ZF}$

The notion of minimality in model theory is related to the existence of a gap in the size of definable subsets of a model. Now consider the following generalization:
Definition 1: Let $M$ be a ...

**12**

votes

**1**answer

345 views

### capturing small sets in small factors

Suppose $\kappa$ is a regular cardinal and $P$ is a $\kappa$-c.c. partial order. I want to know when are small sets added by subforcings of size $<\kappa$. The following seems well-known:
...

**8**

votes

**2**answers

427 views

### Is the tree of large cardinals linear?

Kanamori in the introduction of his book "The Higher Infinite" says:
"The investigation of large cardinal hypotheses is indeed a mainstream of modern set theory, and they have been found to play a ...

**14**

votes

**4**answers

1k views

### A New Continuum Hypothesis (Revised Version)

Define $N_n$ as $n$ th natural number: $N_0=0, N_1=1, N_2=2, ...$.
What happens after exponentiation?
We have the following equation: $2^{N_n}=N_{2^{n}}$.
(Which says: For all finite cardinal $n$ ...

**5**

votes

**0**answers

144 views

### Impact of Supercompacts on Measurables

It is consistent that the least measurable cardinal can carry exactly one normal measure but in almost all models for this theory there is no supercompact cardinal. It seems existence of a ...

**6**

votes

**2**answers

359 views

### The First Failure of GCH in Large Cardinals Smaller than Measurables

A well known theorem by Scott says:
If $\kappa$ is a measurable cardinal and $\mu$ a normal measure on it and $\mu (\lbrace\lambda\in\kappa~|~2^{\lambda}=\lambda^{+}\rbrace)=1$ then ...

**3**

votes

**4**answers

247 views

### What is the role of absoluteness in existence of a non-trivial self elementary embedding on an inner model?

ِDefinition (1): Call an inner model M "rigid" if there are no non-trivial elementary embeddings $j: M\longrightarrow M$.
It is possible that $L$ is not rigid, while the problem is open for $HOD$. ...

**5**

votes

**1**answer

222 views

### Adding large sets not containing countable ground model sets

The question is motivated by Toni's question "Approximation of infinite set in generic extension" (see Approximation of infinite set in generic extension).
Before I state the question, let me add ...

**2**

votes

**1**answer

197 views

### Are measures of a measurable cardinal measurable? (Edited and Updated Version)

Update: Regarding to Prof. Hamkins's guidance I restricted the questions to the "normal" measures to avoid trivial answers.
Definition: Let $\kappa$ be a measurable cardinal. Define:
...

**4**

votes

**1**answer

169 views

### what kind of ordinal is the degree of strongness of a partially strong cardinal (Edited and revised)

For an infinite cardinal $\kappa$ and an ordinal $\lambda>\kappa,$ $\kappa$ is called $\lambda-$strong, if there is a non-trivial elementary embedding $j: V \rightarrow M$ with $crit(j)=\kappa$ ...

**13**

votes

**2**answers

435 views

### Singularizing forcing of “small” cardinality?

Can there be a large cardinal $\kappa$ and a forcing of size $\kappa$ that makes $\kappa$ a singular cardinal? The motivation is that the standard Prikry forcing does not have a dense set of size ...

**6**

votes

**1**answer

652 views

### Is there a monster behind the trees?

First Fix the following notation:
$\forall \kappa\in Card~~~Tp(\kappa):="\kappa~has~tree~property"$
The large cardinals as "monsters of heaven" live everywhere in the land of ...

**13**

votes

**3**answers

363 views

### Is Prikry forcing minimal?

Let $M$ be a model of $\sf ZFC$ in which $\kappa$ is a measurable cardinal, and $\cal U$ is a normal measure on $\kappa$. We can define the Prikry forcing (the most simple one) as the poset: $$\Bbb ...

**15**

votes

**2**answers

725 views

### Woodin's unpublished proof of the global failure of GCH

An unpublished result of Woodin says the following:
Theorem. Assuming the existence of large cardinals, it is consistent that $\forall \lambda, 2^{\lambda}=\lambda^{++}.$
In the paper "The ...

**3**

votes

**1**answer

223 views

### Large cardinals and mild extensions

It is known that for many large cardinals $\kappa$ (like weakly compact, measurable,...) , $\kappa$ remains large of the same type after forcings of size $<\kappa$. Now the questions are:
Question ...

**12**

votes

**0**answers

399 views

### Some questions about $0^{\sharp}$ and forcing over $L$

1-Let $P\in L$ be a nontrivial set forcing or even a tame class forcing (tameness in the sense of Sy Friedman; see for example his Handbook paper), and let $G$ be $P-$generic over $L$. Then it is ...

**2**

votes

**2**answers

169 views

### Preservation of measurable cardinals in mild extensions

I would like some help with the proof of the preservation of measurable cardinals in mild extensions, as I am a bit new with forcing.
By mild extensions, I mean the generic extension produced from a ...

**10**

votes

**2**answers

477 views

### Failure of diamond at large cardinals

What is known about the failure of $\Diamond_{\kappa}$ (diamond at $\kappa$) for $\kappa$ (the least) inaccessible, (the least) Mahlo and (the least) weakly compact.
Remark. The problem of forcing ...

**10**

votes

**1**answer

413 views

### Forcing mildly over a worldly cardinal.

A cardinal $\theta$ is worldly if $V_{\theta}$ is a model of ZFC. We could force to collapse $\theta$ to a successor cardinal, for example, and destroy the worldliness of $\theta$, but is there a ...

**4**

votes

**1**answer

256 views

### Stationary many subsets of $\kappa^+$ whose order type is a cardinal and whose intersection with $\kappa$ is an inaccessible cardinal

Is anything known about the consistency strength of the following statement?
$\kappa$ is a Mahlo cardinal and there is a stationary set of $a \in \mathcal{P}_\kappa(\kappa^+)$ such that $a \cap ...

**9**

votes

**1**answer

298 views

### Homogeneous Namba-like forcing

Let $\kappa \ge \aleph_3$ be a regular cardinal that is countably closed ($\alpha^\omega < \kappa$ for every $\alpha < \kappa$.) I'm mostly interested in the case that $\kappa$ is strongly ...

**11**

votes

**1**answer

414 views

### Generic Extensions and $L(V_{\lambda+1})$

Suppose $\lambda$ is a strong limit cardinal of cofinality $\omega$ and for $A$ a transitive set, define $L(A)$ in the usual fashion by setting
$$L_0(A)=A;$$
$$L_{\alpha+1}(A) = L_\alpha (A)\cup ...

**8**

votes

**1**answer

361 views

### Can $\omega_1$ be supercompact?

Is "ZF + $\omega_1$ is supercompact" consistent relative to "ZFC + there is a supercompact cardinal"?
In particular, if $\delta$ is supercompact, does it remain so in $V(\mathbb{R} \cap V[G])$ where ...

**5**

votes

**2**answers

270 views

### Measures that are not OD

Is anything known about the consistency strength of the statement:
"There is a normal measure (on a cardinal) that is not ordinal-definable"?
In particular, is it consistent relative to the ...

**3**

votes

**0**answers

244 views

### On Successive Regular Cardinals With No Ladders

Definition: Let $\kappa$ be an $\aleph$ cardinal, we say that $\langle f_\alpha\colon\alpha\to\kappa\mid\alpha<\kappa^+\rangle$ is a ladder if every $f_\alpha$ is injective.
Equivalently this is ...

**6**

votes

**1**answer

355 views

### GCH+ Kurepa Families

I have a couple of questions about known theorems for GCH+Kurepa families.
Definition first: Let $\kappa$ be a infinite cardinal. A $\kappa^+$ Kurepa family is a family $F$ of subsets of $\kappa^+$ ...

**4**

votes

**1**answer

597 views

### Some questions from the paper “Forcing the failure of CH by adding a real” by Shelah and Woodin

1-Let $P=Add(\omega_1, \kappa)$, and let $D$ be a dense open subset of $P$. Then there is a dense subset $S$ of $D$ such that for every $f \in S$ and any $g \in P$, if $domf=domg$ and the set $\{ ...

**7**

votes

**0**answers

423 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 ...

**6**

votes

**0**answers

265 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 ...

**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 ...

**5**

votes

**1**answer

331 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 ...

**3**

votes

**1**answer

243 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 ...

**13**

votes

**2**answers

728 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 ...

**5**

votes

**1**answer

304 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 ...

**7**

votes

**2**answers

699 views

### failure of $\square(\kappa)$ at an inaccessible $\kappa$

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} = ...