Skip to main content
4 events
when toggle format what by license comment
Oct 29, 2021 at 19:11 vote accept Noah Schweber
Jul 27, 2021 at 21:09 history edited Noah Schweber CC BY-SA 4.0
edited body
Jul 27, 2021 at 21:09 comment added Noah Schweber Terribly sorry for the late response, I just noticed this! I'm still interested in the $\Pi^1_1\wedge\Sigma^1_1$ situation, so I'm going to wait a bit before accepting, but this is good to know. (And I've taken the liberty of a small typographical edit.)
Jun 27, 2021 at 20:14 history answered Harry West CC BY-SA 4.0