Timeline for Can I use ellipses in first order logic
Current License: CC BY-SA 3.0
11 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 29, 2015 at 14:49 | answer | added | Raphael | timeline score: 4 | |
| Apr 29, 2015 at 12:43 | history | tweeted | twitter.com/#!/StackCompSci/status/593395206000668672 | ||
| Apr 29, 2015 at 10:38 | answer | added | David Richerby | timeline score: 5 | |
| Apr 29, 2015 at 9:33 | answer | added | J.-E. Pin | timeline score: 0 | |
| Apr 29, 2015 at 9:01 | history | edited | Raphael |
edited tags; edited tags
|
|
| Apr 29, 2015 at 8:27 | comment | added | David Richerby | Your sentence doesn't define the property you want. For any $n$, your sentence is satisfied by the set $\{0,1\}$: for any $x\in\{0,1\}$, set $y_1=\dots=y_{n-1}=1-x$ | |
| Apr 29, 2015 at 2:18 | history | edited | John K. | CC BY-SA 3.0 |
latex
|
| Apr 29, 2015 at 0:21 | vote | accept | Colin | ||
| Apr 29, 2015 at 0:16 | answer | added | Yuval Filmus | timeline score: 10 | |
| Apr 28, 2015 at 23:59 | review | First posts | |||
| Apr 29, 2015 at 2:37 | |||||
| Apr 28, 2015 at 23:55 | history | asked | Colin | CC BY-SA 3.0 |