Pages that link to "Item:Q2380488"
From MaRDI portal
The following pages link to On the equivalence of Lagrange's axiom to the Lotschnittaxiom (Q2380488):
Displaying 6 items.
- Another equivalent of the Lotschnittaxiom (Q515727) (← links)
- Parallel postulates and continuity axioms: a mechanized study in intuitionistic logic using Coq (Q1725841) (← links)
- The ubiquitous axiom (Q2038868) (← links)
- The elementary Archimedean axiom in absolute geometry (Q2278151) (← links)
- On the equivalence of Playfair's axiom to the parallel postulate (Q2329377) (← links)
- Lippmann's axiom and Lebesgue's axiom are equivalent to the Lotschnittaxiom (Q2334485) (← links)
