Timeline for A "negative" standard system
Current License: CC BY-SA 4.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| May 29, 2022 at 19:14 | comment | added | Patrick Lutz | By the way, I'm pretty sure this exactly characterizes $\mathsf{SS}^-(\mathcal{M})$: it is the set of subsets of $\mathbb{N}$ which are $\Sigma^0_1$ in some element of $\mathsf{SS}(\mathcal{M})$. | |
| May 29, 2022 at 19:11 | vote | accept | Noah Schweber | ||
| May 29, 2022 at 19:11 | comment | added | Noah Schweber | Nice, I think this works! I almost got this (so did Joel), but I wasn't actually doing enough detailed coding. | |
| May 29, 2022 at 19:04 | history | answered | Patrick Lutz | CC BY-SA 4.0 |