Timeline for Is HSP(A) = ISP(A) decidable?
Current License: CC BY-SA 3.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| May 7, 2014 at 14:57 | comment | added | Benjamin Steinberg | The Burris paper also shows it is undec if a finite set of quasi identities defines a variety. | |
| May 7, 2014 at 14:56 | comment | added | Benjamin Steinberg | Seems that way. I read your answer a week ago and forgot. | |
| May 7, 2014 at 14:51 | comment | added | Emil Jeřábek | Isn’t this the same argument as in the first paragraph of my answer? | |
| May 7, 2014 at 13:03 | history | answered | Benjamin Steinberg | CC BY-SA 3.0 |