Timeline for Generic $\mathbf{\Sigma}_3^1$-absoluteness for class forcings
Current License: CC BY-SA 3.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Mar 31, 2021 at 15:14 | comment | added | Ned | Was there any progress on this? It puts me in mind of aFriedman-Gitman-Kanovei paper arxiv.org/abs/1808.04732 though there may be no real connection | |
| Jun 17, 2015 at 17:35 | history | edited | rkrapf |
edited tags
|
|
| Jun 17, 2015 at 8:58 | comment | added | Asaf Karagila♦ | Welcome to MathOverflow! :-) | |
| Jun 17, 2015 at 8:52 | review | First posts | |||
| Jun 17, 2015 at 9:00 | |||||
| Jun 17, 2015 at 8:49 | history | asked | rkrapf | CC BY-SA 3.0 |