Pages that link to "Item:Q2380488"

The following pages link to On the equivalence of Lagrange's axiom to the Lotschnittaxiom (Q2380488):

Displaying 11 items.

• Another equivalent of the Lotschnittaxiom (Q515727) (← links)
• The principle of duality in Euclidean and in absolute geometry (Q523404) (← links)
• 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)
• On the derivation of the non-Euclidean angle of parallelism function (Q1903361) (← 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)
• On Heckits, LATE, and Numerical Equivalence (Q5225129) (← links)
• The parallel postulate (Q6657509) (← links)