Pages that link to "Item:Q515727"

The following pages link to Another equivalent of the Lotschnittaxiom (Q515727):

Displaying 4 items.

• 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)