Timeline for Is Thompson's group definably orderable?
Current License: CC BY-SA 4.0
9 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Aug 6, 2020 at 13:28 | vote | accept | YCor | ||
| Aug 6, 2020 at 13:27 | comment | added | YCor | (About $F_{n\ge 2}$: this group is model-theoretically stable by Sela, so can't interpret an infinite total order, so there's no definable total order, even without invariance assumption.) | |
| Aug 6, 2020 at 6:28 | answer | added | James Hyde | timeline score: 8 | |
| Mar 21, 2020 at 20:23 | history | edited | YCor | CC BY-SA 4.0 |
fixed typo, minor formatting
|
| Mar 12, 2020 at 17:20 | comment | added | Benjamin Steinberg | Sorry i missed that | |
| Mar 12, 2020 at 15:25 | comment | added | YCor | @BenjaminSteinberg yes (this is explicit in the definition I gave of definable: "and parameters in the group"). | |
| Mar 12, 2020 at 15:00 | comment | added | Benjamin Steinberg | Do you allow constants from G | |
| Mar 12, 2020 at 14:21 | comment | added | Ville Salo | Did you check that your formula doesn't define a biorder on it? (j/k) | |
| Mar 12, 2020 at 10:33 | history | asked | YCor | CC BY-SA 4.0 |