Timeline for $L(\mathbb{R})$-absoluteness from a proper class of Woodins: source?
Current License: CC BY-SA 4.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Aug 4 at 4:30 | vote | accept | Noah Schweber | ||
| Aug 4 at 2:58 | answer | added | Sean Cody | timeline score: 10 | |
| Aug 4 at 1:55 | comment | added | Noah Schweber | @SeanCody Lovely! If you post that as an answer I'll accept it. Thanks, this is a tricky literature for me to navigate. | |
| Aug 4 at 1:44 | comment | added | Sean Cody | Theorem 3.1.12 of Larson's stationary tower book or theorem 7.22 of Steel's Outline of Inner Model Theory. Larson's book and Steel's exposition on the derived model theorem contain many (but not all) of the famous generic absoluteness results. | |
| Aug 4 at 1:03 | history | asked | Noah Schweber | CC BY-SA 4.0 |