Timeline for Open problem in analysis with just one quantifier?
Current License: CC BY-SA 4.0
11 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Aug 18, 2021 at 12:02 | history | edited | Paul Blain Levy | CC BY-SA 4.0 |
added 20 characters in body
|
| Aug 18, 2021 at 11:53 | history | edited | Paul Blain Levy | CC BY-SA 4.0 |
added 2 characters in body
|
| Aug 18, 2021 at 11:41 | history | edited | Paul Blain Levy | CC BY-SA 4.0 |
added 70 characters in body
|
| Aug 17, 2021 at 20:42 | history | edited | Paul Blain Levy | CC BY-SA 4.0 |
added 8 characters in body
|
| Aug 17, 2021 at 20:39 | comment | added | Paul Blain Levy | Thanks to everyone that helped, either by suggesting possible answers, or by pointing out that various $\Pi^1_1$ sentences suggested by me or others did in fact have a known reduction to an arithmetical sentence. | |
| Aug 17, 2021 at 20:37 | history | edited | Paul Blain Levy | CC BY-SA 4.0 |
added 8 characters in body
|
| Aug 17, 2021 at 20:32 | history | edited | Paul Blain Levy | CC BY-SA 4.0 |
deleted 30 characters in body
|
| Aug 17, 2021 at 16:20 | history | made wiki | Post Made Community Wiki by Stefan Kohl♦ | ||
| Aug 17, 2021 at 13:47 | vote | accept | Paul Blain Levy | ||
| Aug 17, 2021 at 13:45 | history | edited | Paul Blain Levy | CC BY-SA 4.0 |
added 197 characters in body
|
| Aug 17, 2021 at 13:22 | history | answered | Paul Blain Levy | CC BY-SA 4.0 |