Search Results
| Search type | Search syntax |
|---|---|
| Tags | [tag] |
| Exact | "words here" |
| Author |
user:1234 user:me (yours) |
| Score |
score:3 (3+) score:0 (none) |
| Answers |
answers:3 (3+) answers:0 (none) isaccepted:yes hasaccepted:no inquestion:1234 |
| Views | views:250 |
| Code | code:"if (foo != bar)" |
| Sections |
title:apples body:"apples oranges" |
| URL | url:"*.example.com" |
| Saves | in:saves |
| Status |
closed:yes duplicate:no migrated:no wiki:no |
| Types |
is:question is:answer |
| Exclude |
-[tag] -apples |
| For more details on advanced search visit our help page | |
Results tagged with inner-model-theory
Search options questions only
not deleted
user 3183
The study of canonical inner models for large cardinal hypotheses, with particular attention to their fine structure theory, and iterability issues.
11
votes
1
answer
468
views
Do indiscernibility embeddings exist for an initial segment of an inner model of many measur...
Background
I am interested in elementary embeddings from a model of set theory into itself. One way of producing such elementary embeddings is when the model is generated by indiscernibles; this idea …
- 1,174
5
votes
2
answers
631
views
Characterizing elementary embeddings of $L$ and $L_\alpha$ under 0#
Suppose 0# exists.
It is clear that every order preserving map from the indiscernibles to the indiscernibles gives an elementary embedding from $L$ to $L$. Furthermore, following lemmas 18.7 and 18.8 …
- 1,174