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.
120 questions
5
votes
0
answers
276
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 $◊$ ...
- 7,545
3
votes
1
answer
302
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 ...
- 7,545
12
votes
1
answer
464
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,545
7
votes
1
answer
280
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 ...
- 171
5
votes
1
answer
242
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 ...
- 18.6k
7
votes
1
answer
611
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 ...
- 18.6k
14
votes
1
answer
452
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 $\...
- 39.7k
5
votes
0
answers
304
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 ...
- 7,545
15
votes
1
answer
985
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 ...
- 18.6k
1
vote
0
answers
115
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$ ...
- 7,545
8
votes
0
answers
240
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 ...
- 18.6k
6
votes
0
answers
242
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}...
- 1,080
18
votes
1
answer
2k
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
2
answers
377
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 \...
- 1,080
14
votes
3
answers
934
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 ...
- 32.1k
18
votes
3
answers
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 ...
- 750
6
votes
1
answer
355
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,170
1
vote
1
answer
295
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\...
- 675
4
votes
0
answers
270
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 ...
- 615
9
votes
2
answers
540
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 ...
- 1,882
9
votes
1
answer
982
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 ...
- 7,545
19
votes
2
answers
9k
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 ...
12
votes
1
answer
477
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 ...
- 21.2k
6
votes
1
answer
402
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" ...
- 21.2k
3
votes
1
answer
253
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 ...
- 1,170
5
votes
1
answer
347
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)...
- 1,080
5
votes
2
answers
351
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 ...
- 1,170
6
votes
1
answer
385
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 ...
- 21.2k
4
votes
1
answer
242
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 \...
- 1,080
2
votes
0
answers
149
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 ...
- 21.2k
8
votes
0
answers
386
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 \...
- 685
7
votes
1
answer
497
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 ...
- 1,170
4
votes
0
answers
236
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 ...
- 21.2k
3
votes
1
answer
204
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 ...
- 1,170
6
votes
0
answers
176
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 ...
- 21.2k
10
votes
1
answer
566
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 ...
- 39.7k
4
votes
1
answer
293
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$ ...
- 1,170
4
votes
1
answer
249
views
Preservation of Woodinness when it overlaps the active extender
I'm trying to show that if a premouse $\mathcal M$ is 1-small then it's also tame.
Definition. $\mathcal M$ is 1-small if for every extender $E$ on the $\mathcal M$-sequence, $\mathcal J^{\mathcal M}...
- 1,170
6
votes
1
answer
302
views
Ordinal-definable witnesses to the perfect set property?
This possibly a very basic descriptive set-theory question; if it is too basic for MO, feel free to migrate.
Throughout we work in ZF+AD. My question is:
If $A$ is an uncountable OD set of reals, ...
- 21.2k
7
votes
1
answer
313
views
On thin $\Sigma^1_2$ equivalence relations
This question is regarding Hjorth's paper "Some applications of coarse inner model theory", J. Symbolic Logic 62 (1997), no. 2, 337–365.
Hjorth claims that if $E$ is a thin $\Sigma^1_2$ equivalence ...
- 685
8
votes
2
answers
286
views
Showing that $\alpha$ isn't a cardinal in $J_{\alpha+1}^{\vec E}$ for a fine extender sequence $\vec E$
In [FSIT] and [OIMT] it is claimed that there is a surjection from $P(\kappa)\cap J^{\vec E}_{\nu(E_\alpha)}\times[\nu(E_\alpha)]^{<\omega}$ onto $\alpha$, and that this surjection lies in $J_{\...
- 1,170
8
votes
4
answers
906
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$, ...
- 603
10
votes
1
answer
381
views
Precipitous ideals and GCH
It is well known that ZFC + "There is a measurable cardinal" is equiconsistent with ZFC + "There is a precipitous ideal on $\omega_1$." Is ZFC + "There is a measurable $\kappa$ such that $2^\kappa &...
- 18.6k
15
votes
1
answer
977
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 ...
- 1,170
3
votes
1
answer
447
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 a}~(\kappa+4)-\text{...
6
votes
1
answer
325
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 ...
- 2,180
4
votes
0
answers
142
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}$ ...
- 603
8
votes
2
answers
478
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 ...
- 32.1k
7
votes
2
answers
657
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$.
...
- 21.2k
8
votes
1
answer
580
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 ...
- 39.7k