Timeline for First-order logic of projective planes over fields
Current License: CC BY-SA 4.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 9, 2019 at 19:24 | comment | added | Victor Petrov | The more subtle part is that, conversely, the operations of the field can be reconstructed in terms of the incidence relation on the projective plane (see any proof of the "Fundamental theorem of projective geometry", which answers the same question up to isomorphism, not elementary equivalence). | |
| Apr 9, 2019 at 6:35 | history | edited | anonymous09800980 | CC BY-SA 4.0 |
added 1 character in body
|
| Apr 9, 2019 at 5:45 | review | First posts | |||
| Apr 9, 2019 at 6:19 | |||||
| Apr 9, 2019 at 5:44 | history | answered | anonymous09800980 | CC BY-SA 4.0 |