Timeline for Large Cardinal Principles that Imply $\Sigma_3^1$-Generic Absoluteness
Current License: CC BY-SA 3.0
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Sep 14, 2017 at 12:04 | answer | added | Ralf Schindler | timeline score: 7 | |
| Aug 26, 2015 at 15:48 | answer | added | Philip Welch | timeline score: 10 | |
| Aug 23, 2015 at 0:20 | comment | added | Miha Habič | There is a proof (or at least a sketch) in these notes by Steel (Theorem 2.13). | |
| Aug 22, 2015 at 22:41 | comment | added | Asaf Karagila♦ | It was mentioned in a course about generic absoluteness and stationary tower forcing, and was attributed to Martin-Solovay. No concrete reference was given, or else I would have probably post it as an answer. | |
| Aug 22, 2015 at 22:32 | comment | added | William | @AsafKaragila Do you know where I can find a proof of the result you mentioned? | |
| Aug 22, 2015 at 15:33 | comment | added | Asaf Karagila♦ | If my memory serves me right, a measurable implies $\Sigma^1_3$-absoluteness for forcing smaller than the measurable. So the existence of a proper class of measurable cardinals implies $\Sigma^1_3$-absoluteness. | |
| Aug 22, 2015 at 13:19 | history | asked | William | CC BY-SA 3.0 |