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.

Filter by
Sorted by
Tagged with
6
votes
0answers
156 views

Are initial segments of coherent measure sequences coherent?

This question is about the "old-fashioned" coherent sequences, in the style of Mitchell Mitchell, W. (1974). Sets constructible from sequences of ultrafilters. Journal of Symbolic Logic, 39(...
11
votes
1answer
296 views

Coding the universe into a real over better core models

One of the most incredible results in modern set theory, due to Jensen, is that given any model of $\sf ZFC$, there is a class forcing which adds a real number $r$ and in the extension $V=L[r]$. ...
3
votes
2answers
180 views

Existence of inner models of $\mathrm{ZFC} \ +$ forcing axioms, under incompatible assumptions

I am curious about the existence of inner models of $\mathrm{ZFC}$ in conjunction with forcing axioms, under assumptions inconsistent with such theories. For example: can we prove under any extension ...
7
votes
1answer
248 views

The core model and elementary embeddings

Let $K$ be the core model (below a Woodin cardinal). Let $j \colon K \to M$ be an elementary embedding, where $M$ is well founded. Under which conditions can we conclude that $j$ is an iterated ...
2
votes
0answers
160 views

Independence through forcing vs generic collapses

Are there known statements in $V_{ω+ω}$ independent through forcing after $\mathrm{Col}(ω,<κ_1)*\mathrm{Col}(κ_1,<κ_2)*\mathrm{Col}(κ_2,<κ_3)*...$ where $κ_1<κ_2<κ_3<...$ are ...
8
votes
1answer
228 views

Inner model theory without choice

How much of the inner model project can be constructed without assuming the axiom of choice? I.e. which large cardinals provably have canonical inner models not assuming choice?
8
votes
0answers
262 views

Inner models from highly saturated ideals

Solovay proved that a measurable cardinal is equiconsistent with the existence of an extension of Lebesgue measure to a full measure on $P(\mathbb R)$. The inner model direction is relatively simple. ...
12
votes
1answer
252 views

Getting a model of $\mathsf{ZFC}$ that fails to nicely cover an inner model

Consider the following statement: $(\dagger)$ $\ $ There is an inner model $M$ such that $M \models \mathsf{GCH}+\square$ and for every countable $X \subseteq \mathrm{Ord}$, there is a countable $Y \...
3
votes
1answer
263 views

If we have a class like $L$ but allowing a set number of unbounded quantifiers, is it strict superset of $L$?

The definition of $L$ only permits bounded quantifiers. If we allow a certain number of unbounded quantifiers, does this result in a strict superset of $L$? For example: $$ \operatorname{Def}^{\...
14
votes
1answer
763 views

A “paradox” about the inner model problem

As stated in Woodin, Davis, and Rodriguez - The HOD dichotomy, a longstanding open problem in set theory is to construct a canonical inner model for supercompactness. In general there are various ...
11
votes
0answers
305 views

What sets can be unraveled?

A set $X\subseteq\omega^\omega$ is unravelable iff there is a possibly larger set $A$ and a clopen set $Y\subseteq A^\omega$ (with respect to the product topology coming from the discrete topology on $...
5
votes
1answer
245 views

Consistency strength of lifting through a lot of collapsing

What is the consistency strength of the following situation? $j : V \to M$ is an elementary embedding definable from parameters in $V$, with critical point $\kappa$. $\mathbb P$ is a forcing that ...
5
votes
1answer
333 views

GCH implies acceptability

I have been studying the concept of acceptability, particularly in its relation to GCH. There are many versions of it in the sources I have found, with some slight variations, and some of them are ...
10
votes
0answers
247 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 ...
5
votes
0answers
217 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 ...
4
votes
0answers
151 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 $◊$ ...
3
votes
1answer
237 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 ...
10
votes
1answer
353 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, ...
7
votes
1answer
234 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 ...
5
votes
1answer
226 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 ...
7
votes
1answer
488 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 ...
13
votes
1answer
378 views

What are some good lower bounds on the consistency of the failure of the PCF conjecture?

Shelah's celebrated theorem states that $\aleph_\omega$ is a strong limit cardinal, then $2^{\aleph_\omega}<\aleph_{\omega_4}$. But the conjecture is that $\omega_4$ can be provably replaced by $\...
4
votes
0answers
206 views

Symmetry between V and HOD

Is it consistent that the set of ordinal definable real numbers is countable, but for every $y∈\mathrm{OD}∩ℝ$, every true $Σ_2^{V,y}$ statement holds in $\mathrm{HOD}$? Note that $Σ_2^V$ is the best ...
15
votes
1answer
678 views

Does inner model theory seek canonical models for large cardinals?

Like the author of this question, I have heard that a main goal of inner model theory is building canonical inner models for large cardinals. My questions are: (a) Is this accurate? (b) If so, in ...
1
vote
0answers
68 views

Consistency of reflective sequences

Is it consistent that there is a measurable cardinal $κ$, a $κ$-complete normal nonprincipal ultrafilter $U$ on $κ$, and $S∈U$ such that for every $T⊂S$ with $T∈U$ and $T$ ordinal definable from $S$ ...
8
votes
0answers
220 views

Universally meager spaces and large cardinals

Definition: (Todorcevic) A subset $A$ of a topological space $X$ is called universally meager if for every Baire space $Y$ and every continuous $f : Y \to X$ which is nowhere constant (not constant on ...
6
votes
0answers
220 views

Does $0^{\#}$ imply that $L$'s set generic multiverse has irreconcilable theories?

Suppose $0^{\#}$ exists. Let $M(L)$ be the generic multiverse over $L$ as viewed in $V$, i.e. $M(L)$ consists of all $L[g]$ where $g \in V$ is $\mathbb{P}$-generic over $L$ for some forcing $\mathbb{P}...
16
votes
1answer
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 ...
11
votes
2answers
327 views

Does $0^{\#}$ imply the failure of upward directedness in the set generic universe over $L$?

Question 1. Suppose that $0^{\#}$ exists. Are there set generic filters $g,h$ over $L$ ($g,h \in V$) such that for any $f$ ($\in V$) which is generic over $L$ we have that $L[g] \cup L[h] \not \...
14
votes
3answers
764 views

Forcings predicted by core model theory $+$$ZFC$ results proved by the method of core model theory

I have two unrelated question. First question. To motivate the question, let me explain an example. The natural way to force the failure of singular cardinals hypothesis ($SCH$), is to start with a ...
17
votes
3answers
2k views

Taking a proper class as a model for Set Theory

When I am reading through higher Set Theory books I am frequently met with statements such as '$V$ is a model of ZFC' or '$L$ is a model of ZFC' where $V$ is the Von Neumann Universe, and $L$ the ...
5
votes
1answer
270 views

Is $V=\textsf{HOD}\not\Rightarrow\textsf{GCH}$ consistent?

Whenever $M$ is some fine-structural $L$-like model we can prove the implication $V=M\Rightarrow\textsf{GCH}$. For $L$ this is due to Gödel, and for the modern extender models it follows simply by ...
1
vote
1answer
245 views

A Weak form of Extendibility and Inner Model Theory

Let a cardinal $\kappa$ be $n$-shadow iff $\kappa$ does not have cofinality $\omega$ and for any $n$-th order sentence $\varphi$ in the language $\mathcal{L}_\in$, $\varphi\Leftrightarrow V_\kappa\...
4
votes
0answers
240 views

What does $L(A,\mathbb{R})$ mean?

I many papers by Woodin, and on some answers here on MathOverflow (like the first answer of this question), I see the expression "$L(A,\mathbb{R})$" being used, but I have never seen it defined. I ...
9
votes
2answers
457 views

Reals which must, can't or might be added by forcing

Let $W \subseteq V$ be an inner model of ZFC. There are a variety of theorems that characterize when a real $x \in V$ is the generic of a forcing notion $\mathbb P \in W$, for example, the ...
8
votes
1answer
335 views

Complexity of $L[\mathrm{cf}]$

Assuming large cardinal axioms, which real numbers are in $L[\mathrm{cf}]$, where $\mathrm{cf}$ is the cofinality function on ordinals? $L[\mathrm{cf}]$ is the minimal inner model that 'knows' the ...
17
votes
2answers
4k views

The Ultimate L in a Nutshell: On Descriptive Articles

Everybody who catches a fleeting glimpse of Woodin's central papers on Ultimate $L$ (i.e. Suitable Extender Models I & II), admits that they aren't so tempting for lazy readers who don't like to ...
10
votes
1answer
358 views

Is there a natural inner model of AD$_\mathbb{R}$?

The question is as in the title, but let me explain a bit. Assuming a proper class of Woodin cardinals, $L(\mathbb{R})$ satisfies AD (and DC). And $L(\mathbb{R})$ is a very natural inner model. I'm ...
6
votes
1answer
310 views

How much real determinacy can live in $L(\mathbb{R})$?

It's well-known that AD$_\mathbb{R}$ fails in $L(\mathbb{R})$, provably in ZFC. This is because: AD$^{L(\mathbb{R})}$ implies DC$^{L(\mathbb{R})}$. Over ZF+DC, AD + "Every set of reals has a scale" ...
3
votes
1answer
215 views

Definition of $M_n^\sharp(X)$ for arbitrary set $X$

The definition of $M_n^\sharp$ in [OIMT10] is the unique sound, $(\omega,\omega_1,\omega_1+1)$-iterable mouse which is not $n$-small, but all of whose proper initial segments are $n$-small. What is ...
5
votes
1answer
221 views

What is a 'power admissible model'?

Q: What exactly is a power admissible model? Background: Admissible models, introduced by Jon Barwise, form the building blocks of inner model theory. They are transitive models $\mathcal M = (M; \in)...
5
votes
2answers
291 views

Proper class of Woodins and $\textsf{AD}_{\mathbb R}$-hypothesis

The $\textsf{AD}_{\mathbb R}$-hypothesis is the statement that there is a $\lambda$ which is both a limit of Woodins and a limit of ${<}\lambda$-strongs. Are there any results relating the ...
6
votes
1answer
270 views

Absoluteness for the Chang model

Often, large cardinals imply that many definable inner models and transitive sets have theories which are absolute under forcing. For example, assuming a proper class of Woodin cardinals, the theory ...
5
votes
1answer
218 views

Mitchell, Steel. FSIT. Lemma 2.8: Is $k$-solidity actually needed?

Consider the following result (which is Lemma 2.8 in Mitchell and Steel's paper on Fine Structure and Iteration Trees): Lemma 2.8 Let $\pi \colon \mathcal{H} \to \mathcal{M}$ be generalized $r \...
2
votes
0answers
141 views

Strong determinacy principles for “small” sets

In the course of a (fun but silly) project I'm working on, I've run into the following class of determinacy notions: Suppose I have a "reasonably definable" class $\mathcal{C}$ of games (in the usual ...
8
votes
0answers
361 views

The reals in $L$

Assume "$0^\#$ exists". We know that $0^\#$ is a $\Pi^1_2$-singleton. That means, there is a Shoenfield tree $S$ on $\omega \times (\omega \times \omega_1)$ so that $$x = 0^\# \leftrightarrow S_x \...
6
votes
1answer
397 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 ...
4
votes
0answers
219 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 ...
3
votes
1answer
189 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 ...
6
votes
0answers
144 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 ...