Timeline for Synthetic projective lines
Current License: CC BY-SA 3.0
2 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Dec 3, 2015 at 22:36 | comment | added | Mike Shulman | Yes, Faulkner's lemma 5.6 and the first sentence of his lemma 5.7 are some of the axioms I would include. I didn't know that uniqueness of the sixth point is equivalent to Desargues (though it doesn't surprise me). But of course his section 5.3 is not itself what I was thinking of doing, since he is working in an ambient projective plane throughout, rather than axiomatizing a hexary relation on a given line. | |
| Nov 20, 2015 at 15:51 | history | answered | Tim Penttila | CC BY-SA 3.0 |