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.
17
questions
22
votes
1
answer
2k
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 ...
user46667
9
votes
1
answer
938
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 ...
- 6,112
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 ...
17
votes
3
answers
800
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 ...
- 4,123
15
votes
1
answer
927
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.1k
34
votes
3
answers
2k
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:
http://www.math.cmu....
- 1,242
17
votes
3
answers
950
views
Minimum transitive models and V=L
Is there a c.e. theory $T⊢\text{ZFC}$ in the language of set theory such that the minimum transitive model of $T$ exists but does not satisfy $V=L$?
You may assume that ZFC has transitive models. ...
- 6,112
17
votes
1
answer
752
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 $...
- 19.3k
16
votes
1
answer
918
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,182
11
votes
2
answers
367
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,090
11
votes
2
answers
743
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 ...
- 759
6
votes
1
answer
282
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, ...
- 19.3k
5
votes
0
answers
182
views
"Very $L$-like" models, part 1: large cardinals
(The original version of this question was much narrower and less natural; but see the edit history if interested.)
Say that a good logic is a regular logic $\mathcal{L}$ containing $\mathsf{FOL}$ ...
- 19.3k
5
votes
0
answers
259
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 $◊$ ...
- 6,112
5
votes
3
answers
512
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 $k+1$-...
- 3,766
3
votes
0
answers
221
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 ...
- 6,112
2
votes
0
answers
191
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 ...
- 19.3k