Timeline for Relativisation of Higman's embedding theorem
Current License: CC BY-SA 4.0
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| May 1 at 11:52 | comment | added | tomasz | @YCor: Well, okay, you're not saying that, but it seems dubious to me at a glance, and the fact that a positive answer would be a strengthening of a solution of a famous open problem reinforces that impression. :) | |
| May 1 at 11:50 | vote | accept | tomasz | ||
| May 1 at 9:07 | comment | added | YCor | For torsion, I'm not saying it's probably false. I'm just saying we do not know and have no clue. | |
| May 1 at 8:13 | answer | added | HJRW | timeline score: 4 | |
| Apr 30 at 23:23 | comment | added | tomasz | @YCor: This was my intuition (that torsion-free is probably true, and torsion is probably false). | |
| Apr 30 at 21:38 | comment | added | YCor | Torsion-free: very probably this is known to hold, and maybe automatic from the original construction. Torsion: this is unknown. It's a famous open problem whether there's an infinite fp torsion group. | |
| Apr 30 at 21:28 | history | asked | tomasz | CC BY-SA 4.0 |