Timeline for Cardinal arithmetic in $L(\mathbb{R})$
Current License: CC BY-SA 3.0
9 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Dec 20, 2016 at 4:11 | comment | added | Asaf Karagila♦ | Welcome to MathOverflow, it's about time! | |
| Dec 19, 2016 at 22:41 | comment | added | bof | I didn't know you have to have an account to post questions and answers on Stack Exchange sites. I thought you only need an account to post comments and vote. | |
| Dec 19, 2016 at 22:23 | comment | added | Juan | Oh, yes, forgot about that! I don't have an MSE account (that I know of), but you can post the answer there if you want to. | |
| Dec 19, 2016 at 22:15 | vote | accept | Noah Schweber | ||
| Dec 19, 2016 at 22:15 | comment | added | Noah Schweber | Awesome, thanks! And it looks like the original computation of $\delta^1_2$ under large cardinals was due to Martin, unpublished. Do you have an MSE account? If so, if you post this answer below my MSE question I'll also accept it there (otherwise I'll post my own answer, citing this one, and make it cw; I just don't want that question to remain on the "open" list). | |
| Dec 19, 2016 at 22:15 | comment | added | Juan | Yes, it's in Woodin's book (The Axiom of Determinacy, Forcing Axioms, and the Nonstationary Ideal), Theorem 3.17. | |
| Dec 19, 2016 at 22:14 | review | First posts | |||
| Dec 19, 2016 at 22:18 | |||||
| Dec 19, 2016 at 22:11 | comment | added | Noah Schweber | Nice! I didn't know that - do you have a citation where I can find the proof? | |
| Dec 19, 2016 at 22:11 | history | answered | Juan | CC BY-SA 3.0 |