Courcelle, Olive: Une axiomatisation au premier ordre des arrangements de pseudodroites euclidiennes

Table des matières de ce fascicule | Article précédent | Article suivant

Bruno Courcelle; Frédéric Olive
Une axiomatisation au premier ordre des arrangements de pseudodroites euclidiennes
Annales de l'institut Fourier, 49 no. 3 (1999), p. 883-903
Article PDF | Analyses MR 2000g:52022 | Zbl 0973.51006

Résumé - Abstract

Nous définissons une structure logique permettant de représenter les classes d’homéomorphismes des arrangements de pseudodroites du plan euclidien. Nous donnons une axiomatisation finie du premier ordre de la réalisabilité des arrangements de pseudodroites.

Bibliographie

[1] S.A. ADELEKE and P.M. NEUMANN, Relations related to betweenness: their structure and automorphisms, Memoirs of the Amer. Math. Soc., 623 (1998). MR 98h:20008 | Zbl 0896.08001
[2] A. BJÖRNER, M. LAS VERGNAS, B. STURMFELS, N. WHITE, and G. ZIEGLER, Oriented matroids, Encyclopedia of mathematics and its applications, Vol. 46, Cambridge University Press, 1993. Zbl 0773.52001
[3] J.E. GOODMAN, Proof of a conjecture of Burr, Grunbaum and Sloane, Discrete Mathematics, 32 (1980), 27-35. MR 82b:51005 | Zbl 0444.05029
[4] GOODMAN, Pseudoline arrangements, In J.E. Goodman and J. O'Rourke, editors, Hanbook of Discrete and Computational Geometry, pages 83-109. CRC Press LLC, 1997. MR 1730161 | Zbl 0914.51007
[5] J.E. GOODMAN and R. POLLACK, Semispaces of configurations, cell complexes of arrangements, Journal of Combinatorial Theory, Series A, 37 (1984), 257-293. MR 86e:52011 | Zbl 0551.05002
[6] J.E. GOODMAN, R. POLLACK, R. WENGER, and T. ZAMFIRESCU, Arrangements and topological planes, Amer. Math. Monthly, 101 (1994), 866-878. MR 95h:51026 | Zbl 0827.51003
[7] B. GRUNBAUM, Arrangements and spreads. In CBMS Regional Conference, volume 10 of Series in Math. Amer. Math. Soc., Providence, R.I., 1972. MR 46 #6148 | Zbl 0249.50011
[8] L. SÉGOUFIN and V. VIANU, Spacial databases via topological invariants. Proc. ACM Symp. on Principles of Databases Systems, 1998 (version finale à paraître au J. Comput. Syst. Sciences).
[9] P.W. SHOR, Stretchability of pseudolines is NP-hard. In Applied geometry and discrete mathematics, The Victor Klee Festschrift, DIMACS Series in Discrete Mathematics and Theoretical Computer Science, Vol. 4, 1991, 531-554. MR 92g:05065 | Zbl 0751.05023