Timeline for Does $Π^1_{2n+1} = (Σ^1_{2n+1})^{M_{2n-1}}$?
Current License: CC BY-SA 4.0
13 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Feb 13, 2020 at 5:28 | history | edited | Gabe Goldberg | CC BY-SA 4.0 |
added 35 characters in body
|
| Feb 10, 2020 at 1:32 | history | edited | Gabe Goldberg | CC BY-SA 4.0 |
deleted 80 characters in body
|
| Feb 9, 2020 at 21:11 | history | edited | Gabe Goldberg | CC BY-SA 4.0 |
added 269 characters in body
|
| Feb 9, 2020 at 21:03 | history | edited | Gabe Goldberg | CC BY-SA 4.0 |
added 269 characters in body
|
| Feb 9, 2020 at 20:28 | comment | added | Gabe Goldberg | It's in Steel's paper "Projectively well-ordered inner models." The $M_1$ case is also written up in Steel's "Outline of inner model theory." | |
| Feb 9, 2020 at 20:25 | comment | added | Noah Schweber | Where can a proof of Woodin's result mentioned at the beginning be found? | |
| Feb 9, 2020 at 20:00 | history | edited | Gabe Goldberg | CC BY-SA 4.0 |
added 8 characters in body
|
| Feb 9, 2020 at 9:00 | history | edited | Gabe Goldberg | CC BY-SA 4.0 |
added 310 characters in body
|
| Feb 9, 2020 at 8:51 | history | edited | Gabe Goldberg | CC BY-SA 4.0 |
added 310 characters in body
|
| Feb 8, 2020 at 23:53 | vote | accept | Dmytro Taranovsky | ||
| Feb 8, 2020 at 23:52 | comment | added | Dmytro Taranovsky | Thank you. Can you include the definition of $Q_{2n+1}$? Also, regarding the inner model proof, from what I gather, Steel defines $Π_n$ iterability, which is $Π^1_{n+1}$ and suffices for iterability for relevant $n$-small premice — except for odd $n$ for premice (in $V \setminus M_n$) that coiterate past all reals that are $n$-small mice, which accounts for the difference of $Σ^1_{n+2}$ between $M_n$ and $V$. | |
| Feb 8, 2020 at 20:13 | history | edited | Gabe Goldberg | CC BY-SA 4.0 |
deleted 19 characters in body
|
| Feb 8, 2020 at 19:53 | history | answered | Gabe Goldberg | CC BY-SA 4.0 |