Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
I added a synthetic definition to projective line, which I learned from here. However, I’m still trying to understand the terminology used; and, as I remarked, with my current understanding the definition doesn’t seem right.
After finding the 2013 Buekenhout-Cohen book, I fixed the definition of projective line, and added some discussion of examples.
Added link to an author copy of Buekenhout-Cohen 2013
1 to 4 of 4