**12**

votes

**1**answer

470 views

### What is the motivation behind inner model theory?

Inner model theory aims to construct canonical inner models which captures as much of V as possible, which now is formulated more concretely as to build (fine structural) mice that contain many large ...

**5**

votes

**1**answer

210 views

### A Question on HOD, V and GCH

The theorem 1.1 of the following paper:
Mohammad Golshani, V, HOD, and the GCH, Journal of Symbolic Logic.
states that:
Theorem: Assume $V\models ZFC+GCH+~\text{There exists ...

**6**

votes

**1**answer

208 views

### Elementary chains in forcing extensions of $M_1$

Let $M_1$ be the canonical inner model with one Woodin cardinal $\delta$. Now suppose that $\mathbb{P}$ is a forcing notion of size $< \delta$, which preserves $\omega_1$ and that $G$ is a generic ...

**4**

votes

**0**answers

117 views

### Characterization of $L[T_{2n+1}]$ as a direct limit of mice

I am asking for a reference request/proof sketch for the result of Steel
that characterizes $L[T_{2n+1}]$ as a direct limit of mice.
Given that both $L[T_{2n+1}]$ and $M_{2n}$ have a $\Sigma_{2n+2}$ ...

**7**

votes

**1**answer

196 views

### Consistency strength of being strong cardinal and indestructible under collapses

What is the consistency strength of the following statement:
$\kappa$ is a strong cardinals and it is indestructible under $Col(\kappa, <\theta),$ where $\theta> \kappa$ is some fixed ...

**7**

votes

**2**answers

343 views

### Topological tameness beyond the Gandy-Harrington topology

The Gandy-Harrington topology on $\omega^\omega$ is the topology generated by all lightface $\Sigma^1_1$ sets; that is, all sets which are continuous-in-the-usual-sense images of $\omega^\omega$.
...

**4**

votes

**1**answer

262 views

### What consistency results follow the assumption: $\forall\alpha(\aleph_{\alpha+1}\nleq2^{\aleph_\alpha})$?

In a recent question on Math.SE it was asked whether or not For every infinite cardinal $\mathfrak m$ there is no $\aleph$ number, $\kappa$, such that $\mathfrak m<\kappa<2^{\mathfrak m}$.
By ...

**7**

votes

**1**answer

215 views

### Characterizing L(R) Cardinals in HOD

We're working in L(R) under AD.
We know that
$\omega_1$ is the least measurable in HOD, $\Theta$ is the least woodin, $\delta^2_1$ is the least strong to the woodin, etc.
My question is about ...

**13**

votes

**1**answer

232 views

### Consistency strength of $\aleph_2$-Souslin hypothesis

Question 1. What is known about the consistency strength of $\aleph_2$-Souslin hypothesis?
Question 2. What is known about the consistency strength of having both $\aleph_2$-Souslin hypotheis and ...

**6**

votes

**0**answers

199 views

### Core model for supercompact cardinals and iteration trees

I have a few somehow related questions:
Question 1. What do we expect for an inner model $\mathcal{K}$ to be a core model for a supercompact cardinal? What properties should it have, and what ...

**13**

votes

**2**answers

325 views

### Classifying set theories whose standard models sharing the same ordinals are equal

Let's say that a (recursively axiomatizable) set theory $T$ extending ZF is "ordinal-categorical" if, whenever $M$ and $N$ are standard models of $T$ sharing the same ordinals, one has $M = N$. For ...

**9**

votes

**1**answer

365 views

### Inner model in which every uncountable cardinal is large

The following is known:
$(*)$ If $0^\sharp$ exists, then any uncountable cardinal is is an inaccessible cardinal (and even more) in $L$.
My question is that:
Are there any large cardinal ...

**16**

votes

**1**answer

1k views

### Gödel's Constructible Universe in Infinitary Logics (A Possible Approach to HOD Problem)

Gödel's constructible universe ($L$) is defined using definable power set operator in first order logic ($\mathcal{L}_{\omega ,\omega}$). One can produce such a universe in infinitary logics in ...

**8**

votes

**1**answer

374 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?

**30**

votes

**3**answers

1k views

### Latest stand of core model theory?

What is the "strongest" core model to this day? In particular, how far are we from a core model for supercompact cardinals? There are rumors of some notes from a workshop in 2004:
...

**3**

votes

**4**answers

305 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$. ...

**4**

votes

**1**answer

637 views

### A Hot Betting On HOD

Remark: This question is based on an open question at the end of a paper by Hamkins, Kirmayer, and Perlmutter: "Generalizations of the Kunen Inconistency".
$HOD$ as an inner model of $ZFC$ lies ...

**9**

votes

**0**answers

180 views

### Consistency strength of saturated ideals on $[\lambda]^{<\kappa}$

In the Handbook of Set Theory, Foreman notes that in models constructed by Magidor from a huge cardinal, there exists a normal ideal on $[\omega_2]^{<\omega_1}$ that is $\omega_3$-saturated. Other ...

**7**

votes

**1**answer

249 views

### A Question Regarding the Relation Between 0-sharp and Koepke's Bounded Truth Predicate.

In Jech's SET THEORY (a very early edition to which I have access), it is shown that the existence of 0-sharp implies the existence of a truth definition for the constructible universe L. Does the ...

**4**

votes

**1**answer

394 views

### Models of Determinacy

Today we have that $L(\mathbb{R}) \models AD$ (assuming there are $\omega$ many Woodin cardinals and a measurable above them all). I was wondering what other models of $AD$ might look like and if it ...

**4**

votes

**1**answer

173 views

### $\omega$-small and properly small premice.

Let $\mathcal M$ be a premouse.
$\mathcal M$ is said to be $\omega$-small if and only if whenever we have that $\kappa=crit(E)$ for some extender $E$ on the sequence of $\mathcal M$, then $\mathcal ...

**5**

votes

**3**answers

369 views

### A question about Mitchell/Steel Fine Structure and Iteration Trees

In chapter 8 of Mitchell's and Steel's FSIT, they prove a central fine structural result, which basically states that if $\mathcal{M}$ is 1-small, $k$-sound, $k$-iterable premouse then the ...

**7**

votes

**1**answer

448 views

### Why “adding” a single extender cannot give an L-like inner model for say, a strong cardinal?

The constructible universe $L$ is too thin for large cardinals greater than measurable. To build $L$-like inner models for large cardinal, it is natural to think about "adding" the evidences into the ...

**3**

votes

**1**answer

366 views

### The Covering Lemma for L[U]

Hi,
The covering lemma for L[U] (minimal k-model) is stated in Mitchel's handbook chapter:
"Assuming zero-dagger does not exist then covering holds for L[U] or there is a sequence C ⊆ κ, which is ...

**15**

votes

**1**answer

1k views

### Devlin's “Constructibility” as a resource

It is fairly well-known among set-theorists that Keith Devlin's 1984 book "Constructibility" has flaws in its initial development of fine structure theory. (See Lee Stanley's review 1 of the text for ...

**11**

votes

**1**answer

338 views

### Do indiscernibility embeddings exist for an initial segment of an inner model of many measurable cardinals?

Background
I am interested in elementary embeddings from a model of set theory into itself. One way of producing such elementary embeddings is when the model is generated by indiscernibles; this idea ...

**6**

votes

**2**answers

462 views

### Characterizing elementary embeddings of $L$ and $L_\alpha$ under 0#

Suppose 0# exists.
It is clear that every order preserving map from the indiscernibles to the indiscernibles gives an elementary embedding from $L$ to $L$. Furthermore, following lemmas 18.7 and 18.8 ...