Timeline for Are there standard examples of stable theories that are undecidable?
Current License: CC BY-SA 3.0
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| S Sep 8, 2014 at 15:24 | history | suggested | Mostafa Mirabi | CC BY-SA 3.0 |
correct spelling
|
| Sep 8, 2014 at 15:16 | review | Suggested edits | |||
| S Sep 8, 2014 at 15:24 | |||||
| Sep 8, 2014 at 14:38 | review | Suggested edits | |||
| Sep 8, 2014 at 14:52 | |||||
| Dec 6, 2011 at 2:24 | answer | added | John Baldwin | timeline score: 13 | |
| Dec 1, 2011 at 21:10 | comment | added | HJRW | It's not currently known that the elementary theory of a hyperbolic group is decidable. | |
| Nov 17, 2011 at 19:23 | answer | added | James Freitag | timeline score: 2 | |
| Nov 17, 2011 at 13:31 | history | asked | mmm | CC BY-SA 3.0 |