# Questions tagged [inner-model-theory]

The study of canonical inner models for large cardinal hypotheses, with particular attention to their fine structure theory, and iterability issues.

72 questions
Filter by
Sorted by
Tagged with
208 views

### How wealthy are canonical inner models?

One of the way a person shows their wealth is by having many diamonds. The same can be said about models of $\sf ZFC$. We can add generic diamond sequences, while preserving the old ones, so in some ...
162 views

### Inner models with all sets generic

Question: Under large cardinal axioms, what is the intersection of all inner models $M$ of ZFC such that every set in $V$ is set-generic over $M$? Every set belongs to a generic extension of HOD, and ...
121 views

### Absoluteness and the scale property for $Π^2_2$ or $Σ^2_2$

Under the diamond principle $◊$ and large cardinal axioms, which of the two pointclasses $Π^2_2$ or $Σ^2_2$ is expected to have the scale property? Because conditional $Σ^2_2$ absoluteness under $◊$ ...
178 views

### Pointwise definable models of determinacy

Suppose that the Axiom of Determinacy (AD) holds in $L(ℝ)$, and for some statement φ, $α$ is minimal such that $L_α(ℝ)⊨φ$. Do definable (in $L_α(ℝ)$) elements of $L_α(ℝ)$ form an elementary ...
303 views

### Does $Π^1_{2n+1} = (Σ^1_{2n+1})^{M_{2n-1}}$?

Every $Π^1_1$ formula $φ$ without free second order variables can be converted into a $Σ^1_1$ $ψ$ such that $φ ⇔ ψ^\mathrm{HYP}$, and vice versa. ($\mathrm{HYP}$ is the hyperarithmetical universe, ...
215 views

### $\lt_{ip}$ is a well-defined well-ordering of iterable set premice

I am cross-posting this question from MSE, where I asked it about $3$ months ago and I decided to ask it here as well. This question of mine arises from Kanamori's the higher infinite, where he tries ...
195 views

### Uniqueness of countable version of $L[U]$?

Suppose $\alpha$ is a countable ordinal and $U_0,U_1,\kappa$ are such that $L_\alpha[U_i] \models \mathrm{ZFC} + U_i$ is a normal ultrafilter on $\kappa$. Does $U_0 = U_1$? The argument for ...
429 views

### What happens with large singular cardinals on the far side of the HOD dichotomy?

Woodin's HOD Dichotomy Theorem says that if an extendible cardinal exists, then either $V$ and $HOD$ are rather close or rather far apart. My question is whether the "far" case can be strengthened in ...
345 views

1k views

### What is the modal logic of outer multiverse?

The mathematical multiverse could be viewed as a gigantic Kripke model with models of $ZFC$ as possible worlds connected to each other via a certain accessibility relation. The modal logic associated ...
311 views

371 views

### Core model with $\omega$ Woodin cardinals

In [KwoM] it is proved that the the core model K exists under the assumption that there is no inner model having a Woodin cardinal and satisfying ZFC. Furthermore, they also mention that the result is ...
216 views

### Does absoluteness imply a club dichotomy?

My question is about two types of consequence of large cardinals, considered over ZFC on their own. First, we have statements of the form, "The club filter on $\omega_1$ is an ultrafilter when ...
171 views

### Natural length is a cardinal if it's a limit ordinal

Let E be a (Mitchell-Steel) extender over some M. Recall that the natural length of E, $\nu_E$, is the strict sup of the generators of E and $\kappa^{+M}$. It is claimed in both "Fine structure and ...
142 views

### Breaking determinacy with forcing, and then fixing it

While forcing is usually presented over models of ZFC, it works equally well over models of ZF (or even less). However, the general theory of forcing becomes much stranger (much like the general ...
458 views

### How verminous are mice?

Recall that a mouse is a structure of the form $(J_\alpha[U],\in,U)$ with $U$ being an amenable ultrafilter with some iterability properties. One of the interesting facts about mice is that given two ...
183 views

### Are generators of extenders cardinals?

Say $E$ is a $(\kappa,\lambda)$-extender on some model $\mathcal M$ of set theory, and consider the ultrapower embedding $i:\mathcal M\to\text{Ult}(\mathcal M,E)$. Now recall that a generator of $E$ ...
215 views

862 views

### Is it inconsistent for a model of set theory to contain its own first order theory?

I am wondering if it is inconsistent to have a model of set theory V such that V contains an $A\subset \omega$ that codes its first order theory.I.e. for all $\{\underline\epsilon\}$-sentences $\phi$, ...
342 views

267 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 ...
### 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}$ ...
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 ...