Timeline for Defining fields of characteristic zero in existential second-order logic
Current License: CC BY-SA 4.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jul 5 at 4:30 | comment | added | Reijo Jaakkola | @AndreasBlass That's simple... So this is an EMSO property. | |
| Jul 4 at 14:37 | comment | added | Andreas Blass | How about "there is a set that contains $1$, is closed under addition, and does not contain $0$"? | |
| Jul 4 at 7:38 | comment | added | Emil Jeřábek | Oh, I don't even need a subroup: "the additive group is totally orderable". | |
| Jul 4 at 7:33 | comment | added | Reijo Jaakkola | @EmilJeřábek Lol, thanks. Would still be interested in references. | |
| Jul 4 at 7:26 | comment | added | Emil Jeřábek | "There exists a nontrivial totally ordered subgroup". | |
| Jul 4 at 7:17 | history | asked | Reijo Jaakkola | CC BY-SA 4.0 |