Timeline for Is $\mathbb{Q}$ "equivalent" to a structure with transitive automorphism group action?
Current License: CC BY-SA 4.0
8 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Aug 9, 2021 at 14:32 | comment | added | user44143 | The 8-ary relation above is longer than the 6-ary one that I used in the answer, but has the advantage of being doubly transitive. | |
| Aug 9, 2021 at 7:07 | vote | accept | Noah Schweber | ||
| Aug 9, 2021 at 7:04 | answer | added | user44143 | timeline score: 6 | |
| Aug 9, 2021 at 6:48 | comment | added | Noah Schweber | @MattF. Oh yes that's enough (it's late, I'm tired :P). Looks like that works! Now I wonder if there's a snappy characterization of "parametrically equivalent to a point-transitive structure" after all ... | |
| Aug 9, 2021 at 6:43 | comment | added | user44143 | How about the rationals with the 8-ary relation (a-b)(c-d)=(e-f)(g-h)? Then -y is the unique e such that (y-0)(0-1)=(e-0)(1-0); x+y is the unique e such that (x-(-y))(1-0)=(e-0)(1-0); and xy is the unique e such that (x-0)(y-0)=(e-0)(1-0). | |
| Aug 9, 2021 at 6:26 | history | edited | Noah Schweber | CC BY-SA 4.0 |
added 216 characters in body; edited title
|
| Aug 9, 2021 at 6:22 | history | edited | Noah Schweber | CC BY-SA 4.0 |
added 216 characters in body; edited title
|
| Aug 9, 2021 at 3:57 | history | asked | Noah Schweber | CC BY-SA 4.0 |