Math 401, Fall 2018 Class Page

These are resources for my senior thesis student in Fall 2018.

Here find my discussion of Propositions 1 and 2 and some refinements and additions to Euclid's axioms.

Here is Saccheri.

Here find a collection of basic axioms for geometry. These should be similar in strength to Hilbert's axioms, but using "ray" as a primitive notion rather than "betweenness".