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
3
votes
1
answer
325
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}^{\...
- 6,353
3
votes
1
answer
241
views
Do all limit $\alpha \in \omega_1^L$ satisfy $L_\alpha \models V=HC$?
In Gaps in the constructible universe, Marek and Srebrny, 1973 a gap ordinal and the start of a gap are defined as follows
$\alpha$ is a gap ordinal iff $(L_{\alpha+1}-L_\alpha)\bigcap \mathcal{P}(\...
- 421
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
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
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{...
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
3
votes
0
answers
200
views
Weak extender models for supercompactness without choice
Assume ZFC and a supercompact cardinal $κ$. Is it consistent that there is a weak extender model $N⊨\text{ZF}$ for supercompactness of $κ$ such that the axiom of choice and well-ordering of $P_κ(λ)^N$...
- 7,545
3
votes
0
answers
240
views
The most powerful inner model and a $\Delta^2_1$ well-ordering of the reals
With the current research, it seems that we are in a position to get extremely powerful absoluteness theorems (like $\Sigma^2_0$-absoluteness, $\Sigma^2_1$-absoluteness, $\Sigma^2_2$, $\diamondsuit_G$,...
- 695
3
votes
0
answers
152
views
Why are the sharps of sets of big ordinals not in $\mathcal{P}(\omega)$?
In his talk A Condensed History of Condensation, Welch presents the following recursive sharp function, that is total when all sharps exist:
\begin{align*}
\# \colon ON &\to \mathcal{P}(ON) \\
\...
- 421
3
votes
0
answers
249
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 ...
- 7,545
2
votes
1
answer
268
views
Inner model for KP and a Well-Ordering of the Reals
It is well known that Gödel proved the following theorem:
$\mathsf{ZFC + V=L}$ has a $\mathit{\Delta}^1_2$-good well-ordering of $\mathbb{R}$. (Gödel, Addison)
So:
Is there an inner model for KP/Z/....
- 695
2
votes
1
answer
255
views
Why can't $L_\beta$ contain a real coding a well-ordering of order-type $\beta$, when $\beta$ is a gap ordinal?
In Gaps in the constructible universe, Marek and Srebrny, 1973 a gap ordinal is defined as follows
$\alpha$ is a gap ordinal iff $(L_{\alpha+1}-L_\alpha)\cap \mathcal{P}(\omega) = \emptyset$
Their ...
- 421
2
votes
0
answers
144
views
The strongest reflection principle that does not violate covering lemmas
#-generated reflection, or Indiscernible-generation, is considered to be the strongest reflection principle that does not violate the covering lemma in L. [1]
Is there a way to extend this success to ...
- 695
2
votes
0
answers
342
views
What's the definition of a mouse in Mitchell's handbook article "the covering lemma"?
In the book "handbook of set theory", in the chapter "the covering lemma", definition 3.24, Mitchell defines what is mouse.
However he did not give any definition of $\mathcal{U}_\...
- 1,490
2
votes
0
answers
195
views
"Very $L$-like" models, part 2: combinatorics
Say that a good logic is a regular logic $\mathcal{L}$ containing $\mathsf{FOL}$ and having the finite use property and the strong downward Lowenheim-Skolem property together with, for each finite ...
- 21.2k
2
votes
0
answers
174
views
A question about Shoenfield's absoluteness theorem and $0^{\sharp}$
Shoenfield's theorem states that any $\Pi_{3}^{1}$ sentence that holds in $V$ holds in $L$, but I know that it is consistent with ZFC that there exists a set $A\subset \mathbb{N}$ where $A\not\in L$ ...
- 143
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
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
1
vote
0
answers
266
views
Is Jensen's covering lemma meaningful in a platonist's view?
The typical applications of fine structure theory are finding out the lower bounds of consistency strength of axiom systems. In such a proccess, we also constructs many combinatorial objects in core ...
- 1,490
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