Timeline for What is the motivation behind inner model theory?
Current License: CC BY-SA 3.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Mar 24, 2016 at 17:42 | history | bounty ended | CommunityBot | ||
| Mar 17, 2016 at 10:37 | comment | added | Dan Saattrup Nielsen | Thanks for the answer; however, this is more or less my point (1) in my question. I'm wondering if the Inner Model Problem, an open problem since the 60s, is really only to show an equiconsistency result. What happens if we manage to construct a mouse with a supercompact from PFA? Is the field of inner model theory then "finished"? What about constructing mice with, say, extendibles? There seems to be no motivation for constructing these mice in general - only the vague notion of "learning how V behaves". | |
| Mar 16, 2016 at 20:30 | history | answered | Carlo Beenakker | CC BY-SA 3.0 |