Pages that link to "Item:Q1868171"
From MaRDI portal
The following pages link to Axiomatizations of hyperbolic geometry: A comparison based on language and quantifier type complexity (Q1868171):
Displaying 4 items.
- The simplest axiom system for plane hyperbolic geometry revisited (Q539156) (← links)
- Lambert or Saccheri quadrilaterals as single primitive notions for plane hyperbolic geometry (Q936611) (← links)
- Correction to ``Axiomatizations of hyperbolic geometry'' (Q2576415) (← links)
- Simpler foundations for the hyperbolic plane (Q6073705) (← links)