Timeline for What is the lowest complexity definition of $\mathbb{Z}$ in an infinite extension of $\mathbb{Q}$
Current License: CC BY-SA 4.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Feb 4, 2021 at 15:28 | vote | accept | Keshav Srinivasan | ||
| Feb 4, 2021 at 6:34 | answer | added | Arno Fehm | timeline score: 10 | |
| Feb 4, 2021 at 5:26 | comment | added | Erik Walsberg | It is a theorem of Fehm that a large field cannot existentially define an infinite proper subfield, so a large characteristic zero field cannot existentially define $\mathbb{Z}$. This gives a lower bound over many fields of interest | |
| Feb 3, 2021 at 23:22 | history | asked | Keshav Srinivasan | CC BY-SA 4.0 |