The following pages link to (Q3663940):
Displaying 17 items.
- Local axioms in disguise: Hilbert on Minkowski diagrams (Q375285) (← links)
- A note on characterizations of affine and Hall triple systems (Q442333) (← links)
- An axiomatic look at the Erdős-Trost problem (Q506939) (← links)
- The axiomatics of ordered geometry: I. Ordered incidence spaces (Q533109) (← links)
- Embedding a Latin square with transversal into a projective space (Q533348) (← links)
- Positive existential definability of parallelism in terms of betweenness in Archimedean ordered affine geometry (Q640271) (← links)
- Independent preferences (Q751943) (← links)
- A proof of Pasch's axiom in the absolute theory of oriented parallelity (Q1207028) (← links)
- Wanda Szmielew 1918-1976 (Q1247846) (← links)
- Negation-free and contradiction-free proof of the Steiner-Lehmus theorem (Q1704083) (← links)
- An axiomatic description of the Strambach planes (Q1826112) (← links)
- Can one design a geometry engine? Can one design a geometry engine? On the (un)decidability of certain affine Euclidean geometries (Q2631966) (← links)
- (Q3100254) (← links)
- Quantifier elimination for elementary geometry and elementary affine geometry (Q3144868) (← links)
- Forms of the Pasch axiom in ordered geometry (Q3406446) (← links)
- Modal Logics for Parallelism, Orthogonality, and Affine Geometries (Q3647300) (← links)
- The Axiomatic Destiny of the Theorems of Pappus and Desargues (Q5129772) (← links)
