Une axiomatisation au premier ordre des arrangements de pseudodroites euclidiennes. (A first-order axiomatisation of arrangements of Euclidean pseudolines.) (Q1296148)

The authors give an axiomatic description of arrangements of pseudolines which is based on a relation \(\mathbf{cb}(a,b,c,d)\) which may be interpreted as follows: ``on the pseudoline \(a\), the intersection of \(a\) with \(c\) lies between the intersection of \(a\) with \(b\) and the intersection of \(a\) with \(d\)''. Altogether there are nine axioms. Six of them describe the properties of the ``betweenness relation'' \(\mathbf{cb}(a,\cdot ,\cdot ,\cdot)\). One of the axioms may be interpreted as a version of the well-known axiom of Pasch. It is shown that in each arrangement of pseudolines these axioms are satisfied, and on the other hand that each structure satisfying the axioms is isomorphic to an arrangement of pseudolines. An interesting proposition used in the proof describes a condition under which it is possible to enlarge a given arrangement by an additional pseudoline passing through a given finite set of points, one on each pseudoline.