Pages that link to "Item:Q539156"
From MaRDI portal
The following pages link to The simplest axiom system for plane hyperbolic geometry revisited (Q539156):
Displaying 11 items.
- The simplest axiom system for hyperbolic geometry revisited, again (Q456972) (← links)
- Lambert or Saccheri quadrilaterals as single primitive notions for plane hyperbolic geometry (Q936611) (← links)
- The simplest axiom system for plane hyperbolic geometry (Q1770595) (← links)
- Axiomatizations of hyperbolic geometry: A comparison based on language and quantifier type complexity (Q1868171) (← links)
- On the simplicity of ordered geometry (Q1956325) (← links)
- Constructive axiomatization of plane hyperbolic geometry (Q2765570) (← links)
- (Q4322109) (← links)
- Ternary Operations as Primitive Notions for Constructive Plane Geometry VI (Q4844513) (← links)
- Discussing Hilbert's 24th problem (Q5204805) (← links)
- Simpler foundations for the hyperbolic plane (Q6073705) (← links)
- The simplicity degree of Tarski's Euclidean geometry of ruler and dividers is 5 (Q6561358) (← links)