Timeline for Is this compactness property for "satisfiability on $\mathbb{R}$" consistent?
Current License: CC BY-SA 4.0
10 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| S Jun 9, 2021 at 3:13 | history | bounty ended | Noah Schweber | ||
| S Jun 9, 2021 at 3:13 | history | notice removed | Noah Schweber | ||
| Jun 8, 2021 at 4:37 | history | edited | Noah Schweber | CC BY-SA 4.0 |
deleted 5 characters in body
|
| Jun 8, 2021 at 2:50 | vote | accept | Noah Schweber | ||
| Jun 8, 2021 at 2:23 | answer | added | Farmer S | timeline score: 6 | |
| Jun 7, 2021 at 23:15 | history | edited | Noah Schweber | CC BY-SA 4.0 |
added 1 character in body
|
| S Jun 7, 2021 at 21:47 | history | bounty started | Noah Schweber | ||
| S Jun 7, 2021 at 21:47 | history | notice added | Noah Schweber | Draw attention | |
| Jun 4, 2021 at 18:16 | history | edited | Noah Schweber | CC BY-SA 4.0 |
added 1414 characters in body
|
| Jun 4, 2021 at 14:30 | history | asked | Noah Schweber | CC BY-SA 4.0 |