Pages that link to "Item:Q515727"
From MaRDI portal
The following pages link to Another equivalent of the Lotschnittaxiom (Q515727):
Displaying 6 items.
- On the stepwise construction of the parallel postulate (Q1339785) (← 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)
- Lippmann's axiom and Lebesgue's axiom are equivalent to the Lotschnittaxiom (Q2334485) (← links)
- On the equivalence of Lagrange's axiom to the Lotschnittaxiom (Q2380488) (← links)