Timeline for Combinatorially defined effectively closed set
Current License: CC BY-SA 4.0
9 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Feb 27, 2020 at 21:25 | review | Close votes | |||
| Mar 4, 2020 at 3:02 | |||||
| Feb 27, 2020 at 13:54 | comment | added | Bjørn Kjos-Hanssen | I think it's a very interesting question. So basically is there something like Hilbert's 10th problem but as a set of reals instead of a set of integers. | |
| Feb 27, 2020 at 13:35 | comment | added | Jiayi Liu | You can think of it that way. A "naturally" defined (for non logicians) $Q$. | |
| Feb 27, 2020 at 4:27 | comment | added | Noah Schweber | It doesn't seem to have anything to do with combinatorics - at present, all you're asking for is a non-"logic-y" example? | |
| Feb 27, 2020 at 4:21 | comment | added | Jiayi Liu | It's explained @NoahSchweber. I'd also be happy to see an algebrically defined one~ | |
| Feb 27, 2020 at 4:17 | history | edited | Jiayi Liu | CC BY-SA 4.0 |
added 197 characters in body
|
| Feb 26, 2020 at 18:27 | answer | added | Joel David Hamkins | timeline score: 3 | |
| Feb 26, 2020 at 16:02 | comment | added | Noah Schweber | What does "combinatorially defined" mean? | |
| Feb 26, 2020 at 15:19 | history | asked | Jiayi Liu | CC BY-SA 4.0 |