Timeline for Example of a $\Pi^2_2$ sentence?
Current License: CC BY-SA 4.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Aug 18, 2021 at 13:25 | history | edited | Farmer S | CC BY-SA 4.0 |
Added parenthetical disclaimer at the top.
|
| Aug 18, 2021 at 13:23 | comment | added | Farmer S | Oh, yes, I wasn't thinking about that condition. | |
| Aug 18, 2021 at 13:18 | comment | added | Paul Blain Levy | Thanks for this cool example, but unfortunately, because the statement follows from the existence of a measurable cardinal, it doesn't meet my requirements. | |
| Aug 18, 2021 at 13:01 | comment | added | Farmer S | Remark: The statement follows from the existence of a measurable cardinal. | |
| Aug 18, 2021 at 12:56 | history | answered | Farmer S | CC BY-SA 4.0 |