Timeline for Does every decidable question about finitely presented groups amount to a question about abelian groups?
Current License: CC BY-SA 2.5
11 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 13, 2017 at 12:58 | history | edited | CommunityBot |
replaced http://mathoverflow.net/ with https://mathoverflow.net/
|
|
| Mar 5, 2010 at 3:59 | comment | added | Joel David Hamkins | And here is still another follow-up question at mathoverflow.net/questions/17157. | |
| Mar 1, 2010 at 14:20 | vote | accept | Joel David Hamkins | ||
| Feb 27, 2010 at 17:33 | answer | added | HJRW | timeline score: 5 | |
| Feb 27, 2010 at 0:00 | comment | added | David E Speyer | Your question inspired this one: mathoverflow.net/questions/16565/… | |
| Feb 26, 2010 at 21:31 | answer | added | Douglas Zare | timeline score: 8 | |
| Feb 26, 2010 at 18:43 | answer | added | David E Speyer | timeline score: 23 | |
| Feb 26, 2010 at 18:32 | answer | added | Andy Putman | timeline score: 7 | |
| Feb 26, 2010 at 18:24 | comment | added | Gerhard Paseman | Here is an idea. McKenzie et. al. developed a structure theory for certain classes of varieties for some notion of first order decidability. (Memory fails me on whether it regards equational logic only or not.) In particular, varieties with some property involving decidability could be decomposed as a varietal product of two or three different kinds. I believe Valeriote, Jeong, and Idziak are some of the authors with results that pertain to the question in a varietal context, and those results may pull over to your case. Gerhard "Ask Me About System Design" Paseman, 2010.02.26 | |
| Feb 26, 2010 at 17:44 | history | edited | Joel David Hamkins | CC BY-SA 2.5 |
edited title
|
| Feb 26, 2010 at 17:36 | history | asked | Joel David Hamkins | CC BY-SA 2.5 |