Pages that link to "Item:Q2707077"
From MaRDI portal
The following pages link to Constructive Axiomatizations of Plane Absolute, Euclidean and Hyperbolic Geometry (Q2707077):
Displaying 17 items.
- Logic for physical space. From antiquity to present day (Q382998) (← links)
- A constructive version of Tarski's geometry (Q490871) (← links)
- Archimedisierung absoluter Ebenen. (Construction of archimedean absolute planes) (Q1065358) (← links)
- Projective-type axioms for the hyperbolic plane (Q1205444) (← links)
- An investigation of the plane in absolute geometry (Q1380277) (← links)
- Quantifier-free axioms for constructive affine plane geometry (Q1840989) (← links)
- On the constructive geometry of Euclidean planes (Q1969624) (← links)
- The ubiquitous axiom (Q2038868) (← links)
- Axiomatizing geometric constructions (Q2480964) (← links)
- The axioms of indefinite hemi-slant planes and spheres (Q2628644) (← links)
- Constructive axiomatization of plane hyperbolic geometry (Q2765570) (← links)
- (Q3115114) (← links)
- Quantifier elimination for elementary geometry and elementary affine geometry (Q3144868) (← links)
- Abstraction and Intuition in Peano's Axiomatizations of Geometry (Q3401351) (← links)
- Ternary Operations as Primitive Notions for Constructive Plane Geometry VI (Q4844513) (← links)
- Another Constructive Axiomatization of Euclidean Planes (Q4939400) (← links)
- The parallel postulate (Q6657509) (← links)