Timeline for Does any real projective plane incidence theorem follow from axioms?
Current License: CC BY-SA 4.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jan 10, 2020 at 11:00 | vote | accept | R. Matveev | ||
| Jan 10, 2020 at 10:55 | vote | accept | R. Matveev | ||
| Jan 10, 2020 at 10:55 | |||||
| Jan 9, 2020 at 23:58 | answer | added | Geva Yashfe | timeline score: 3 | |
| Jan 9, 2020 at 23:34 | comment | added | Andreas Blass | No. Your axioms hold in the projective plane over any field of characteristic $\neq2$. So they don't imply, for example, the existence of $\sqrt2$ in the underlying field. But that existence can be expressed as an incidence statement. Unfortunately, I don't have time right now to reconstruct that incidence statement or to search for a reference, so this is only a comment, not an answer. | |
| Jan 9, 2020 at 21:50 | history | edited | R. Matveev | CC BY-SA 4.0 |
edited title
|
| Jan 9, 2020 at 20:25 | history | asked | R. Matveev | CC BY-SA 4.0 |