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

Combinatorial aspects of matroids and geometric lattices (05B35) Combinatorial geometries and geometric closure systems (51D20) Planar arrangements of lines and pseudolines (aspects of discrete geometry) (52C30)

Review text

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.

Recommendations

Cites work

Cited in

(2)

This page was built for publication: Une axiomatisation au premier ordre des arrangements de pseudodroites euclidiennes. (A first-order axiomatisation of arrangements of Euclidean pseudolines.)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1296148)