Skip to main content

The Axiomatic Destiny of the Theorems of Pappus and Desargues

  • Chapter
  • First Online:
Geometry in History

Abstract

We present the largely twentieth century history of the discovery of the significance of Pappus and Desargues for the axiomatics of geometry. Their significance is followed in projective, affine, and orthogonality contexts. There is an extensive bibliography, that should allow the interested reader to take a comprehensive look at the research literature on these axioms.

Non c’è un unico tempo: ci sono molti nastriche paralleli slittanospesso in senso contrario e raramentes’intersecano. Eugenio Montale, Tempo e tempi

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 79.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 99.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 139.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Notes

  1. 1.

    Il n’y a aucune construction de Géométrie descriptive qui ne puisse être traduite en Analyse; et lorsque les questions ne comportent pas plus de trois inconnues, chaque opération analytique peut être regardée comme l’écriture d’un spectacle en Géométrie. (All translations are by V.P.).

  2. 2.

    Nun ist in der That in jeder exakten Wissenschaft die Einführung der Zahl ein vornehmstes Ziel.

  3. 3.

    Aber, wenn die Wissenschaft nicht einem unfruchtbaren Formalismus anheimfallen soll, so wird sie auf einem späteren Stadium der Entwicklung sich wieder auf sich selbst besinnen müssen und mindestens die Grundlagen prüfen, auf denen sie zur Einführung der Zahl gekommen ist.

  4. 4.

    What’s more, in the higher-dimensional case, there is not even a need for any configuration theorem to hold, for any at least 3-dimensional projective space must satisfy Des and thus surprisingly gives rise to the intricate algebraic structure of a skew field in terms of trivial geometrical statements.

  5. 5.

    All known proofs that theorems π equivalent to Pappus (in its projective or in its affine form) imply theorems δ equivalent to Desargues resort to three uses of π (see, for example, [127]).

  6. 6.

    [“Wir] können […] sagen, daß der Satz von Pascal der einzig wesentliche Schnittpunktsatz der Ebenen ist, daß die Konfiguration (93)1 die wichtigste Figur der ebenen Geometrie darstellt.”

  7. 7.

    The word associative was coined by Hamilton in 1848 precisely to describe the fact that the octonions are non-associative.

  8. 8.

    The connection between Blaschke—who would later author two books on webs ([31] (with G. Bol) and [30]) and a textbook on projective geometry [29]—and the foundations of affine and projective geometry was not only one giving an impetus to the discovery of so many configuration theorem central to the foundational approach, but also one of a personal friendship with Reidemeister, for whom he intervened in June 1933, after Reidemeister was dismissed from his position in Königsberg—which he had held since 1925, and where he had worked among others with Ruth Moufang—for having been a longtime critic of the National Socialists, by organizing a petition to persuade the government that forcing Reidemeister to retire at 40 was not in the interest of the teaching of mathematics and of mathematical research in Germany. The petition was successful and Reidemeister was appointed to Hensel’s chair at Marburg.

  9. 9.

    Mit dem Hjelmslevschen Resultat haben wir den höchsten Punkt bezeichnet, den die moderne Mathematik über Euklid hinausgehend in der Begründung der Elementargeometrie erreicht hat: in der Ebene, mit Voraussetzungen nur über einen beschränkten Teil der Ebene, ohne Stetigkeit ist die analytische Geometrie zu begründen.

  10. 10.

    Something that Hilbert apparently considered impossible in 1898–1899: “Der umgekehrte Weg, die Kongruenzaxiome und -sätze mit Hülfe des Bewegungsbegriffs zu beweisen ist falsch, da sich die Bewegung ohne den Kongruenzbegriff gar nicht definieren lässt.” [104, p. 335] (“The converse, proving the congruence axiom and theorems in terms of the concept of rigid motion is wrong, for rigid motions cannot be defined at all in the absence of the congruence notion.”).

References

  1. P. Abellanas, Estructura analitica del segmento abierto definido por los postulados de incidencia y orden de Hilbert. Rev. Mat. Hisp.-Amer. (4) 6 (1946), 101–126.

    MathSciNet  Google Scholar 

  2. S. A. Amitsur, Rational identities and applications to algebra and geometry. J. Algebra 3 (1966), 304–359.

    MathSciNet  MATH  Google Scholar 

  3. S. A. Amitsur, Polynomial identities. Israel J. Math. 19 (1974), 183–199.

    MathSciNet  MATH  Google Scholar 

  4. J. André, Über nicht-Desarguessche Ebenen mit transitiver Translationsgruppe. Math. Z. 60 (1954), 156–186.

    MathSciNet  MATH  Google Scholar 

  5. J. André, Projektive Ebenen über Fastkörpern. Math. Z. 62 (1955), 137–160.

    MathSciNet  MATH  Google Scholar 

  6. J. André, Über Parallelstrukturen. II: Translationsstrukturen. Math. Z. 76 (1961), 155–163.

    Google Scholar 

  7. A. Arana, P. Mancosu, On the relationship between plane and solid geometry. Rev. Symb. Log. 5 (2012), 294–353.

    MathSciNet  MATH  Google Scholar 

  8. E. Artin, Über einen Satz von Herrn J. H. Maclagan Wedderburn. Abh. Math. Semin. Hamb. Univ. 5 (1927), 245–250.

    Google Scholar 

  9. E. Artin, Coordinates in affine geometry. Rep. Math. Colloquium (Second Series) 2 (1940). 15–20.

    MathSciNet  MATH  Google Scholar 

  10. E. Artin, Geometric algebra. Interscience, New York, 1957.

    MATH  Google Scholar 

  11. R. Artzy, Non-Euclidean incidence planes. Israel J. Math. 4 (1966), 43–53.

    MathSciNet  MATH  Google Scholar 

  12. R. Artzy, Pascal’s theorem on an oval. Amer. Math. Monthly 75 (1968), 143–146.

    MathSciNet  MATH  Google Scholar 

  13. M. Avellone, A. Brigaglia, C. Zappulla, The foundations of projective geometry in Italy from De Paolis to Pieri. Arch. Hist. Exact Sci. 56 (2002), 363–425.

    MathSciNet  MATH  Google Scholar 

  14. R. Baer, The fundamental theorems of elementary geometry. An axiomatic analysis. Trans. Amer. Math. Soc. 56 (1944), 94–129.

    Google Scholar 

  15. R. Baer, Linear algebra and projective geometry. Academic Press, New York, 1952.

    MATH  Google Scholar 

  16. F. Bachmann, Eine Begründung der absoluten Geometrie in der Ebene. Math. Ann. 113 (1936), 424–451.

    MATH  Google Scholar 

  17. F. Bachmann, Zur Begründung der Geometrie aus dem Spiegelungsbegriff. Math. Ann. 123 (1951), 341–344.

    MathSciNet  MATH  Google Scholar 

  18. F. Bachmann, Eine Kennzeichnung der Gruppe der gebrochen-linearen Transformationen. Math. Ann. 126 (1953), 79–92.

    MathSciNet  MATH  Google Scholar 

  19. F. Bachmann, Aufbau der Geometrie aus dem Spiegelungsbegriff. Zweite ergänzte Auflage. Springer-Verlag, Berlin, 1973.

    Google Scholar 

  20. J. T. Baldwin, Formalization, primitive concepts, and purity, Rev. Symb. Log. 6 (2013), 87–128.

    MathSciNet  MATH  Google Scholar 

  21. J. Bamberg, T. Penttila, Completing Segre’s proof of Wedderburn’s little theorem. Bull. Lond. Math. Soc. 47 (2015), 483–492.

    MathSciNet  MATH  Google Scholar 

  22. J. Bamberg, T. Harris, T. Penttila, On abstract ovals with Pascalian secant lines. J. Group Theory 21 (2018), 1051–1064.

    MathSciNet  MATH  Google Scholar 

  23. A. Barlotti, Le possibili configurazioni del sistema delle coppie punto-retta (A, a) per cui un piano grafico risulta (A, a)-transitivo. Boll. Un. Mat. Ital. (3) 12 (1957), 212–226.

    MathSciNet  MATH  Google Scholar 

  24. A. Barlotti, Sul gruppo delle proiettività di una retta in sè nei piani liberi e nei piani aperti. Rend. Sem. Mat. Univ. Padova 34 (1964), 135–159.

    MathSciNet  MATH  Google Scholar 

  25. A. Barlotti, K. Strambach, Remarks on projectivities. Aequationes Math. 28 (1985), 212–228.

    MathSciNet  MATH  Google Scholar 

  26. F. Bennhold, Zur synthetischen Begründung der projektiven Geometrie der Ebene. Math. Ann. 129 (1955), 213–229 .

    MathSciNet  MATH  Google Scholar 

  27. G. M. Bergman, Skew fields of noncommutative rational functions, after Amitsur (preliminary version). Séminaire M. P. Schützenberger, A. Lentin et M. Nivat, 1969/70: Problèmes Mathématiques de la Théorie des Automates, Exp. 16, 1–18, Secrétariat mathématique, Paris, 1970.

    Google Scholar 

  28. M. Biliotti, V. Jha, N. L. Johnson, Foundations of translation planes. Marcel Dekker, New York, 2001.

    MATH  Google Scholar 

  29. W. Blaschke, Projektive Geometrie. 3. verbesserte Auflage. Birkhäuser Verlag, Basel, 1954.

    Google Scholar 

  30. W. Blaschke, Geometrie der Waben. Birkhäuser Verlag, Basel, Stuttgart, 1955.

    MATH  Google Scholar 

  31. W. Blaschke, G. Bol, Geometrie der Gewebe. Topologische Fragen der Differentialgeometrie. Julius Springer, Berlin, 1938.

    Google Scholar 

  32. R. Borges, Eine mit dem Satz von Pappos äquivalente Version des Scherensatzes. Math. Semesterber. 34 (1987), 246–249.

    MathSciNet  MATH  Google Scholar 

  33. A. L. Bosworth, Begründung einer vom Parallelenaxiome unabhängigen Streckenrechnung. Dietrich, Göttingen, 1900.

    Google Scholar 

  34. O. Bottema, Eine Bemerkung über den Desarguesschen und den Pascalschen Satz. Math. Ann. 111 (1935), 68–70.

    MathSciNet  MATH  Google Scholar 

  35. G. Braun, J. Narboux, A synthetic proof of Pappus’ theorem in Tarski’s geometry. J. Automat. Reason. 58 (2017), 209–230.

    MathSciNet  MATH  Google Scholar 

  36. E. Brožíková, Existence of Schütte semiautomorphisms. Časopis Pěst. Mat. 107 (1982), 143–158, 188.

    MathSciNet  MATH  Google Scholar 

  37. Bruck, R. H., Kleinfeld, E.: The structure of alternative division rings. Proc. Amer. Math. Soc. 2, 878–890 (1951).

    MathSciNet  MATH  Google Scholar 

  38. F. Buekenhout, Plans projectifs à ovoides pascaliens. Arch. Math. (Basel) 17 (1966), 89–93.

    MathSciNet  MATH  Google Scholar 

  39. F. Buekenhout, B Études intrinsèque des ovales. Rend. Mat. e Appl. (5) 25 (1966), 333–393.

    Google Scholar 

  40. F. Buekenhout, X. Hubaut, Groupes affins et projectifs. Acad. Roy. Belg. Bull. Cl. Sci. (5) 52 (1966), 368–381.

    MathSciNet  MATH  Google Scholar 

  41. E. Burger, Über die Einzigkeit der Cayley-Zahlen. Bemerkung zu einer Arbeit von L. A. Skorniakov. Arch. Math. (Basel) 3 (1952), 298–302.

    Google Scholar 

  42. R. P. Burn, Bol quasi-fields and Pappus’ theorem. Math. Z. 105 (1968), 351–364.

    MathSciNet  MATH  Google Scholar 

  43. H. Busemann, Paschsches Axiom und Zweidimensionalität. Math. Ann. 107 (1932), 324–328.

    MathSciNet  MATH  Google Scholar 

  44. H. Busemann, The geometry of geodesics. Academic Press, New York, 1955.

    MATH  Google Scholar 

  45. H. Busemann, Quasihyperbolic geometry. Rend. Circ. Mat. Palermo, II. Ser. 4 (1955), 256–269.

    MathSciNet  MATH  Google Scholar 

  46. H. Busemann, Recent synthetic differential geometry. Springer-Verlag, New York-Berlin, 1970.

    MATH  Google Scholar 

  47. H. Busemann, Planes with analogues to Euclidean angular bisectors. Math. Scand. 36 (1975), 5–11.

    MathSciNet  MATH  Google Scholar 

  48. H. Busemann, Remark on ‘Planes with analogues to Euclidean angular bisectors’. Math. Scand. 38 (1976), 81–82.

    MathSciNet  MATH  Google Scholar 

  49. H. Busemann, Selected works I & II. Edited by A. Papadopoulos. Springer, Cham, 2018.

    Google Scholar 

  50. C. Cerroni, Non-Desarguian geometries and the foundations of geometry from David Hilbert to Ruth Moufang. Hist. Math. 31 (2004), 320–336.

    MathSciNet  MATH  Google Scholar 

  51. P. M. Cohn, Skew fields. Theory of general division rings. Cambridge University Press, Cambridge, 1995.

    Google Scholar 

  52. G. Conti, Piani proiettivi dotati di un ovale pascaliano. Boll. Unione Mat. Ital., IV. Ser. / 11 (1975), 330–338.

    MathSciNet  MATH  Google Scholar 

  53. H. S. M. Coxeter, Desargues configurations and their collineation groups. Math. Proc. Cambridge Philos. Soc. 78 (1975), 227–246.

    MathSciNet  MATH  Google Scholar 

  54. H. S. M. Coxeter, The Pappus configuration and its groups. Nederl. Akad. Wet. Verslag Afd. Natuurk. 85 (1976), 44–46.

    MathSciNet  MATH  Google Scholar 

  55. H. S. M. Coxeter, The Pappus configuration and the self-inscribed octagon. I, II, III. Nederl. Akad. Wet. Proc. Ser. A 80 (1977), 256–269, 270–284, 285–300.

    Google Scholar 

  56. H. S. M. Coxeter, S. L. Greitzer, Geometry revisited. The Mathematical Association of America, Washington, 1967.

    Google Scholar 

  57. S. Crampe, Schließungssätze in projektiven Ebenen und dichten Teilebenen. Arch. Math. (Basel) 11 (1960), 136–145.

    MathSciNet  MATH  Google Scholar 

  58. A. Cronheim, A proof of Hessenberg’s theorem. Proc. Amer. Math. Soc. 4 (1953), 219–221.

    MathSciNet  MATH  Google Scholar 

  59. M. Dehn, Über die Grundlagen der projektiven Geometrie und allgemeine Zahlsysteme. Math. Ann. 85 (1922), 184–194.

    MathSciNet  MATH  Google Scholar 

  60. M. Dehn, Über einige neue Forschungen in den Grundlagen der Geometrie. Mat. Tidsskr. B 3/4 (1931), 63–83.

    MATH  Google Scholar 

  61. P. Dembowski, Finite geometries. Springer-Verlag, Berlin-New York 1968.

    MATH  Google Scholar 

  62. G. Desargues, L’œuvre mathématique de G. Desargues. Textes publiés et commentés avec une introduction biographique et historique par René Taton. Presses Universitaires de France, Paris, 1951.

    Google Scholar 

  63. G. Donati, Pappus’ configuration in non commutative projective geometry with application to a theorem of A. Schleiermacher. Rend. Circ. Mat. Palermo (2) 50 (2001), 325–328.

    Google Scholar 

  64. M. L. Dubreil-Jacotin, L. Lesieur, R. Croisot, Leçons sur la théorie des treillis des structures algébriques ordonnées et des treillis géométriques. Gauthier-Villars, Paris, 1953.

    MATH  Google Scholar 

  65. M. Eklund, On how logic became first-order. Nordic J. Philos. Logic 1 (1996), 147–167.

    MathSciNet  MATH  Google Scholar 

  66. E. Ellers, E. Sperner, Einbettung eines desarguesschen Ebenenkeimes in eine projektive Ebene. Abh. Math. Semin. Univ. Hamburg 25 (1962), 206–230.

    MathSciNet  MATH  Google Scholar 

  67. G. Faina, Una estensione agli ovali astratti del teorema di Buekenhout sugli ovali pascaliani. Boll. Un. Mat. Ital. Suppl., 2 (1980), 355–364.

    MATH  Google Scholar 

  68. G. Faina, G. Korchmáros, Una caratterizzazione del gruppo lineare PGL(2, K) e delle coniche astratte nel senso di Buekenhout. Boll. Un. Mat. Ital. Suppl. 2 (1980), 195–208.

    MATH  Google Scholar 

  69. G. Fano, Sui postulati fondamentali della geometria projettiva in uno spazio lineare a un numero qualunque di dimensioni. Giornale di Matematiche 30 (1892), 106–132.

    MATH  Google Scholar 

  70. J. R. Faulkner, Lines with quadrangle section. J. Geom. 22 (1984), 31–46.

    MathSciNet  MATH  Google Scholar 

  71. J. R. Faulkner, The role of nonassociative algebra in projective geometry. American Mathematical Society, Providence, 2014.

    MATH  Google Scholar 

  72. C.-A. Faure, A. Frölicher, Modern projective geometry. Kluwer, Dordrecht, 2000.

    MATH  Google Scholar 

  73. J. Ferreirós, The road to modern logic—an interpretation. Bull. Symbolic Logic 7 (2001), 441–484.

    MathSciNet  MATH  Google Scholar 

  74. J. V. Field, J. J. Gray, The geometrical work of Girard Desargues. Springer-Verlag, New York, 1987.

    MATH  Google Scholar 

  75. W. K. Forrest, The fundamental configurations of linear projective geometry. Z. Math. Logik Grundlagen Math. 32 (1986), 289–306.

    MathSciNet  MATH  Google Scholar 

  76. H. Freudenthal, Een niet-Desargues’se meetkunde en de invoeging van een vlakke Desargues’se meetkunde in de ruimtelijke projectieve meetkunde. Chr. Huygens 13 (1935), 247–256.

    MATH  Google Scholar 

  77. R. Fritsch, Synthetische Einbettung Desarguesscher Ebenen in Räume, Math. -Phys. Semesterber. 21 (1974), 237–249.

    MathSciNet  MATH  Google Scholar 

  78. R. Fritsch, Ein “affiner” Beweis des Satzes von v. Staudt-Schleiermacher. Monatsh. Math. 86 (1978/79), 177–184.

    Google Scholar 

  79. M. Funk, Octagonality conditions in projective and affine planes. Geom. Dedicata 28 (1988), 53–75.

    MathSciNet  MATH  Google Scholar 

  80. M. Funk, On the existence of little Desargues configurations in planes satisfying certain weak configurational conditions. Geom. Dedicata 31 (1989), 207–235.

    MathSciNet  MATH  Google Scholar 

  81. A. M. Gleason, Finite Fano planes. Amer. J. Math. 78 (1956), 797–807.

    MathSciNet  MATH  Google Scholar 

  82. B. Grünbaum, Configurations of points and lines. American Mathematical Society, Providence, 2009.

    MATH  Google Scholar 

  83. H. Guggenheimer, The theorem of Menelaus in axiomatic geometry. Geom. Dedicata 3 (1974), 257–261.

    MathSciNet  MATH  Google Scholar 

  84. H. Hähl, B. Weber, Area functions on affine planes. J. Geom. 107 (2016), 483–507.

    MathSciNet  MATH  Google Scholar 

  85. M. Hall, Projective planes. Trans. Amer. Math. Soc. 54 (1943), 229–277, correction 65 (1949), 473–474.

    Google Scholar 

  86. G. Hamel, Über die Geometrieen, in denen die Geraden die Kürzesten sind. Dissertation. Universität Göttigen, 1901.

    MATH  Google Scholar 

  87. G. Hamel, Über die Geometrieen, in denen die Geraden die Kürzesten sind. Math. Ann. 57 (1903), 231–264.

    MathSciNet  MATH  Google Scholar 

  88. Z. R. Hartvigson, A non-Desarguesian space geometry. Fund. Math. 86 (1974), 143–147.

    MathSciNet  MATH  Google Scholar 

  89. H. Havlicek, Einbettung projektiver Desargues-Räume. Abh. Math. Semin. Univ. Hamb. 52 (1982), 228–231.

    MATH  Google Scholar 

  90. H. Havlicek, Applications of results on generalized polynomial identities in Desarguesian projective spaces. R. Kaya, P. Plaumann and K. Strambach (eds.), Rings and geometry (Istanbul, 1984), pp. 39–77, Reidel, Dordrecht, 1985.

    Google Scholar 

  91. A. Herzer, Eine Verallgemeinerung des Satzes von Dandelin. Elem. Math. 27 (1972), 52–56.

    MathSciNet  MATH  Google Scholar 

  92. A. Herzer, Dualitäten mit zwei Geraden aus absoluten Punkten in projektiven Ebenen. Math. Z. 129 (1972), 235–257.

    MathSciNet  MATH  Google Scholar 

  93. A. Herzer, Ableitung zweier selbstdualer, zum Satz von Pappos äquivalenter Schließungssätze aus der Konstruktion von Dualitäten. Geom. Dedicata 2 (1973), 283–310.

    MathSciNet  MATH  Google Scholar 

  94. A. Herzer, Neue Konstruktion einer Erweiterung von projektiven Geometrien. Geom. Dedicata 4 (1975), 199–213.

    MathSciNet  MATH  Google Scholar 

  95. G. Hessenberg, Desarguesscher Satz und Zentralkollineation. Arch. der Math. u. Phys. (3) 6 (1903), 123–127.

    MATH  Google Scholar 

  96. G. Hessenberg, Über einen geometrischen Calcül (Verknüpfungs-Calcül). Acta Math. 29 (1904), 1–24.

    MathSciNet  MATH  Google Scholar 

  97. G. Hessenberg, Neue Begründung der Sphärik, S.-Ber. Berlin. Math. Ges. 4 (1905), 69–77.

    MATH  Google Scholar 

  98. G. Hessenberg, Beweis des Desarguesschen Satzes aus dem Pascalschen. Math. Ann. 61 (1905), 161–172.

    MathSciNet  MATH  Google Scholar 

  99. G. Hessenberg, J. Diller, Grundlagen der Geometrie. 2. Aufl. Walter de Gruyter, Berlin 1967.

    MATH  Google Scholar 

  100. A. Heyting, Axiomatic projective geometry. Second edition. V. Wolters-Noordhoff, Groningen; North-Holland, Amsterdam, 1980.

    Google Scholar 

  101. D. Hilbert, Über die gerade Linie als kürzestes Verbindung zweier Punkte. Math. Ann. 44(1895), 91–96.

    MATH  Google Scholar 

  102. D. Hilbert, Neue Begründung der Bolyai-Lobatschefskyschen Geometrie, Math. Ann. 57 (1903), 137–150.

    MathSciNet  MATH  Google Scholar 

  103. D. Hilbert, Grundlagen der Geometrie. Leipzig, Teubner (1899) – translated by L. Unger, Open Court, La Salle, Ill., under the title: Foundations of Geometry, 1971, 14th German edition 1999.

    Google Scholar 

  104. D. Hilbert, David Hilbert’s lectures on the foundations of geometry, 1891–1902. Edited by M. Hallett and U. Majer. David Hilbert’s Foundational Lectures, 1. Springer-Verlag, Berlin, 2004.

    Google Scholar 

  105. D. Hilbert, S. Cohn-Vossen, Anschauliche Geometrie. J. Springer, Berlin, 1932.

    MATH  Google Scholar 

  106. J. W. P. Hirschfeld, Projective geometries over finite fields. Oxford University Press, New York, 1979.

    MATH  Google Scholar 

  107. J. W. P. Hirschfeld, Finite projective spaces of three dimensions. Oxford University Press, New York, 1985.

    MATH  Google Scholar 

  108. J. W. P. Hirschfeld, J. A. Thas, General Galois geometries. Springer, London, 2016.

    MATH  Google Scholar 

  109. J. Hjelmslev, Neue Begründung der ebenen Geometrie. Math. Ann. 64 (1907), 449–474.

    MathSciNet  MATH  Google Scholar 

  110. J. Hjelmslev, Einleitung in die allgemeine Kongruenzlehre. I, II., Mat.-Fys. Medd. K. Dan. Vidensk. Selsk. 8 (1929), Nr. 11, 1–36; 10 (1929), Nr. 1, 1–28.

    Google Scholar 

  111. C. E. Hofmann, III, Specializations of Pascal’s theorem on an oval. J. Geom. 1 (1971), 143–153.

    MathSciNet  MATH  Google Scholar 

  112. H. Hotje, Geometrische Bewertungen in affinen Räumen. Abh. Math. Sem. Univ. Hamburg 45 (1976), 82–90.

    MathSciNet  MATH  Google Scholar 

  113. H. Hotje, Zur Definition des Flächeninhalts in affinen Ebenen. Elem. Math. 34 (1979), 25–31.

    MathSciNet  MATH  Google Scholar 

  114. X. Hubaut, Groupes affins et groupes projectifs. Acad. Roy. Belg. Bull. Cl. Sci. (5) 53 (1967) 1266–1275.

    MathSciNet  MATH  Google Scholar 

  115. N. L. Johnson, V. Jha, M. Biliotti, Handbook of finite translation planes. Chapman & Hall/CRC, Boca Raton, 2007.

    Google Scholar 

  116. F. Kalhoff, V. Pambuccian, An axiomatic look at the Erdős-Trost problem. J. Geom. 107 (2016), 379–385.

    MathSciNet  MATH  Google Scholar 

  117. K.-R. Kannenberg, Grundgedanken einer Theorie der Gebilde zweiter Ordnung in Schiefkörpergeometrien. Dissertation, Universität Bonn, 1954.

    Google Scholar 

  118. J. Karamata, Eine elementare Herleitung des Desarguesschen Satzes aus dem Satze von Pappos-Pascal. Elem. Math. 5 (1950), 10–11.

    MATH  Google Scholar 

  119. H. Karzel, Ein Axiomensystem der absoluten Geometrie. Arch. Math. (Basel) 6 (1954), 66–76.

    MathSciNet  MATH  Google Scholar 

  120. H. Karzel, Verallgemeinerte absolute Geometrien und Lotkerngeometrien. Arch. Math. (Basel) 6 (1955), 284–295.

    MathSciNet  MATH  Google Scholar 

  121. H. Karzel, H.-J. Kroll, Zur projektiven Einbettung von Inzidenzräumen mit Eigentlichkeitsbereich. Abh. Math. Semin. Univ. Hamburg 49 (1979), 82–94.

    MATH  Google Scholar 

  122. H. Karzel, H.-J. Kroll, Geschichte der Geometrie seit Hilbert. Wissenschaftliche Buchgesellschaft, Darmstadt, 1988.

    Google Scholar 

  123. H. Karzel, K. Sörensen, Projektive Ebenen mit einem pascalschen Oval. Abh. Math. Semin. Univ. Hamburg 36 (1971), 123–125.

    MathSciNet  MATH  Google Scholar 

  124. H. Karzel, K. Sörensen, Die lokalen Sätze von Pappus und Pascal. Mitt. Math. Ges. Hamburg 10 (1971), 28–55.

    MATH  Google Scholar 

  125. E. Kleinfeld, Alternative division rings of characteristic 2. Proc. Nat. Acad. Sci. U. S. A. 37 (1951), 818–820.

    MathSciNet  MATH  Google Scholar 

  126. W. Klingenberg, Beziehungen zwischen einigen affinen Schließungssätzen. Abh. Math. Sem. Univ. Hamburg 18 (1952), 120–143.

    MathSciNet  MATH  Google Scholar 

  127. W. Klingenberg, Beweis des Desarguesschen Satzes aus der Reidemeisterfigur und verwandte Sätze. Abh. Math. Sem. Univ. Hamburg 19 (1955), 158–175.

    MathSciNet  MATH  Google Scholar 

  128. B. Klotzek, Ebene äquiaffine Spiegelungsgeometrie. Math. Nachr. 55 (1973), 89–131.

    MathSciNet  MATH  Google Scholar 

  129. N. Knarr, B. Stroppel, M. J. Stroppel, Desargues configurations: minors and ambient automorphisms. J. Geom. 107 (2016), 357–378.

    MathSciNet  MATH  Google Scholar 

  130. W. L. Kocay, One-point extensions in n 3 configurations. Ars Math. Contemp. 10 (2016), 291–322.

    MathSciNet  MATH  Google Scholar 

  131. M. Kordos, Bisorted projective geometry. Bull. Acad. Polon. Sci. Sér. Sci. Math. 30 (1982), 429–432.

    MathSciNet  MATH  Google Scholar 

  132. W. Krüger, Kegelschnitte in Moufangegebenen. Math. Z. 120 (1971), 41–60.

    MathSciNet  MATH  Google Scholar 

  133. E. Kusak, Desarguesian Euclidean planes and their axiom system. Bull. Polish Acad. Sci. Math. 35 (1987), 87–92.

    MathSciNet  MATH  Google Scholar 

  134. E. Kusak, On some configurational axioms characteristic of affine Moufang planes. Bull. Polish Acad. Sci. Math. 36 (1988), 583–592.

    MathSciNet  MATH  Google Scholar 

  135. E. Kusak, K. Prażmowski, On affine reducts of Desargues axiom. Bull. Polish Acad. Sci. Math. 35 (1987), 77–86.

    MathSciNet  MATH  Google Scholar 

  136. E. Kusak, K. Prażmowski, Non-Pappian Euclidean space does not exist. Bull. Polish Acad. Sci. Math. 36 (1988), 567–569.

    MathSciNet  MATH  Google Scholar 

  137. F. Luci, On the theorem of Pappus-Pascal. J. Geom. 19 (1982), 154–165.

    MathSciNet  MATH  Google Scholar 

  138. H. Lenz, Kleiner Desarguesscher Satz und Dualität in projektiven Ebenen. Jahresber. Deutsch. Math. Verein. 57 (1954), 20–31.

    MATH  Google Scholar 

  139. L. Lesieur, Sur la mesure des triangles en géométrie affine plane. Math. Z. 93 (1966), 334–344.

    MathSciNet  MATH  Google Scholar 

  140. J. Lettrich, The orthogonality in affine parallel structure. Math. Slovaca 43 (1993), 45–68.

    MathSciNet  MATH  Google Scholar 

  141. F. Levi, Geometrische Konfigurationen. S. Hirzel, Leipzig, 1929.

    MATH  Google Scholar 

  142. F. W. Levi, On a fundamental theorem of geometry. J. Indian Math. Soc. (2) 3 (1939), 182–192

    MATH  Google Scholar 

  143. R. Lingenberg, Über Gruppen mit einem invarianten System involutorischer Erzeugender, in dem der allgemeine Satz von den drei Spiegelungen gilt. I, II, III, IV. Math. Ann. 137 (1959), 26–41, 83–106, 142 (1961), 184–224, 158 (1965), 297–325.

    Google Scholar 

  144. R. Lingenberg, Grundlagen der Geometrie. 3. Auflage. Bibliographisches Institut, Mannheim, 1978.

    Google Scholar 

  145. R. Lingenberg, Metric planes and metric vector spaces. Wiley, New York, 1979.

    MATH  Google Scholar 

  146. L. Lombardo-Radice, Sull’immersione de un piano grafico in uno spazio grafico a tre dimensioni. Atti Accad. Naz. Lincei. Rend. Cl. Sci. Fis. Mat. Nat. (8), 10 (1951), 203–205.

    Google Scholar 

  147. L. Lombardo-Radice, Sur la définition de proposition configurationnelle et sur certaines questions algébro-géométriques dans les plans projectifs. Colloque d’algèbre supérieure (Bruxelles, 1956), 217–230. Centre Belge de Recherches Mathématiques Établissements Ceuterick, Louvain; Gauthier-Villars, Paris, 1957.

    Google Scholar 

  148. L. Lombardo-Radice, Sur la classification des théorèmes en géométrie projective plane abstraite. Hommage au Professeur Lucien Godeaux, 169–179. Librairie Universitaire, Louvain, 1968.

    Google Scholar 

  149. L. Lombardo-Radice, Sulla classificazione combinatoria dei teoremi proiettivi. Colloquio Internazionale sulle Teorie Combinatorie (Roma, 1973), Tomo I, 371–380. Atti dei Convegni Lincei, No. 17, Accad. Naz. Lincei, Roma, 1976.

    Google Scholar 

  150. H. Lüneburg, An axiomatic treatment of ratios in an affine plane. Arch. Math. (Basel) 18 (1967), 444–448.

    MathSciNet  MATH  Google Scholar 

  151. H. Lüneburg, Translation planes. Springer-Verlag, Berlin-New York, 1980.

    MATH  Google Scholar 

  152. M. Mandelkern, Constructive coordinatization of Desarguesian planes. Beitr. Algebra Geom. 48 (2007), 547–589.

    MathSciNet  MATH  Google Scholar 

  153. M. Mandelkern, A constructive real projective plane. J. Geom. 107 (2016), 19–60.

    MathSciNet  MATH  Google Scholar 

  154. E. A. Marchisotto, The projective geometry of Mario Pieri: a legacy of Georg Karl Christian von Staudt. Historia Math. 33 (2006), 277–314.

    MathSciNet  MATH  Google Scholar 

  155. V. Martinetti, Sulle configurazioni piane μ 3. Ann. Mat. Pura Appl. 15 (1887), 1–26.

    Google Scholar 

  156. T. A. McKee, Generalized equivalence and the phraseology of configuration theorems. Notre Dame J. Formal Logic 21 (1980), 141–147.

    MathSciNet  MATH  Google Scholar 

  157. N. S. Mendelsohn, Non-Desarguesian projective plane geometries which satisfy the harmonic point axiom. Canad. J. Math. 8 (1956), 532–562.

    MathSciNet  MATH  Google Scholar 

  158. Menelaus of Alexandria, Spherics. Early translation and al-Māhānı̄ / al-Harawı̄’s version by Roshdi Rashed and Athanase Papadopoulos. De Gruyter, Berlin, 2017.

    Google Scholar 

  159. K. Menger, Untersuchungen uber allgemeine Metrik. Math. Ann. 100 (1928), 75–163.

    MathSciNet  MATH  Google Scholar 

  160. K. Menger, Independent self-dual postulates in projective geometry. Rep. Math. Colloq. (2), 8 (1948), 81–87.

    Google Scholar 

  161. M. Menghini, On configurational propositions. Pure Math. Appl. Ser. A, 2 (1991), 87–126.

    MathSciNet  MATH  Google Scholar 

  162. H. Minkowski, Geometrie der Zahlen. B. G. Teubner, Leipzig, 1896.

    Google Scholar 

  163. R. Moufang, Zur Struktur der projektiven Geometrie der Ebene. Math. Ann. 105 (1931), 536–601.

    MathSciNet  MATH  Google Scholar 

  164. R. Moufang, Die Einführung der idealen Elemente in die ebene Geometrie mit Hilfe des Satzes vom vollständigen Vierseit. Math. Ann. 105 (1931), 759–778.

    MathSciNet  MATH  Google Scholar 

  165. R. Moufang, Die Schnittpunktsätze des projektiven speziellen Fünfecksnetzes in ihrer Abhängigkeit voneinander. (Das A-Netz). Math. Ann. 106 (1932), 755–795.

    Google Scholar 

  166. R. Moufang, Ein Satz über die Schnittpunktsätze des allgemeinen Fünfecksnetzes. (Das (A, B)-Netz.). Math. Ann. 107 (1932), 124–139.

    Google Scholar 

  167. R. Moufang, Die Desarguesschen Sätze vom Rang 10. (Eine Ergänzung zu “Ein Satz über die Schnittpunktsätze des allgemeinen Fünfecksnetzes. (Das (A, B)-Netz)”). Math. Ann. 108 (1933), 296–310.

    Google Scholar 

  168. R. Moufang, Alternativkörper und der Satz vom vollständigen Vierseit (D 9). Abh. Math. Sem. Hamb. Univ. 9 (1933), 207–222.

    MathSciNet  MATH  Google Scholar 

  169. R. Moufang, Zur Struktur von Alternativkörpern. Math. Ann. 110 (1934), 416–430. .

    Google Scholar 

  170. F. R. Moulton, A simple non-Desarguesian plane geometry. Trans. Amer. Math. Soc. 3 (1902), 192–195.

    MathSciNet  MATH  Google Scholar 

  171. H. J. Munkholm, On the classification of incidence theorems in plane projective geometry. Math. Z. 90 (1965), 215–230.

    MathSciNet  MATH  Google Scholar 

  172. P. Nabonnand, La théorie des “Würfe” de von Staudt—une irruption de l’algèbre dans la géométrie pure. Arch. Hist. Exact Sci. 62 (2008), 201–242.

    MathSciNet  MATH  Google Scholar 

  173. H. Naumann, Eine affine Rechtwinkelgeometrie. Math. Ann. 131 (1956), 17–27.

    MathSciNet  MATH  Google Scholar 

  174. H. Naumann, K. Reidemeister, Über Schließungssätze der Rechtwinkelgeometrie. Abh. Math. Sem. Univ. Hamburg 21 (1957), 1–12.

    MathSciNet  MATH  Google Scholar 

  175. M. Neumann, L. Stanciu, Über einige Rechenregeln und Äquivalenzrelationen in einem Alternativkörper. Inst. Politehn. Traian Vuia Timişoara Lucrăr. Sem. Mat. Fiz. (1982), 41–44.

    Google Scholar 

  176. M. Neumann, L. Stanciu, Über eine Begründung der Moufang-Ebene. Inst. Politehn. Traian Vuia Timişoara Lucrăr. Sem. Mat. Fiz. No. 2 (1984), 37–40.

    Google Scholar 

  177. T. G. Ostrom, Conicoids: conic-like figures in non-Pappian planes. P. Plaumann and K. Strambach (eds), Geometry—von Staudt’s point of view (Bad Windsheim, 1980), pp. 175–196, D. Reidel, Dordrecht 1981.

    Google Scholar 

  178. F. W. Owens, The introduction of ideal elements and a new definition of projective n-space. Trans. Amer. Math. Soc. 11 (1910), 141–171.

    MathSciNet  MATH  Google Scholar 

  179. V. Pambuccian, Simple axiom systems for affine planes. Zeszyty Nauk. Geom. 21 (1995), 59–74.

    MathSciNet  MATH  Google Scholar 

  180. V. Pambuccian, Two notes on the axiomatics of structures with parallelism. Note Mat. 20 (2000/2001), 93–104.

    MathSciNet  MATH  Google Scholar 

  181. V. Pambuccian, Fragments of Euclidean and hyperbolic geometry. Sci. Math. Jpn. 53 (2001), 361–400.

    MathSciNet  MATH  Google Scholar 

  182. V. Pambuccian, Early examples of resource-consciousness. Studia Logica 77 (2004), 81–86.

    MathSciNet  MATH  Google Scholar 

  183. V. Pambuccian, The axiomatics of ordered geometry I. Ordered incidence spaces. Expo. Math. 29 (2011), 24–66.

    Google Scholar 

  184. V. Pambuccian, Orthogonality as single primitive notion for metric planes. With an appendix by H. and R. Struve. Beitr. Algebra Geom. 48 (2007), 399–409.

    Google Scholar 

  185. V. Pambuccian, Review of: M. Hallett and U. Majer (eds.), David Hilbert’s lectures on the foundations of geometry, 1891–1902. Springer-Verlag, Berlin, 2004, Philos. Math. (III) 21 (2013), 255–277.

    Google Scholar 

  186. V. Pambuccian, Prolegomena to any theory of proof simplicity. Philos. Trans. Royal Soc. A 377 (2019), 20180035.

    MathSciNet  MATH  Google Scholar 

  187. A. Papadopoulos, Hilbert’s fourth problem. A. Papadopoulos and M. Troyanov (eds.), Handbook of Hilbert geometry, pp. 391–431, European Mathematical Society, Zürich, 2014.

    Google Scholar 

  188. Pappus d’Alexandrie, La collection mathématique. Œuvre traduite pour la première fois du grec au français avec une intriduction et des notes par Paul Ver Eecke. Desclée de Brouwer, Paris-Bruges, 1933.

    Google Scholar 

  189. Pappus of Alexandria, Book 7 of the Collection. Edited, with translation and commentary by Alexander Jones. Springer-Verlag, New York 1986.

    Google Scholar 

  190. K. H. Parshall, In pursuit of the finite division algebra theorem and beyond: Joseph H. M. Wedderburn, Leonard E. Dickson, and Oswald Veblen. Arch. Internat. Hist. Sci. 33 (1983), 274–299.

    Google Scholar 

  191. B. Pascal, Œuvres complètes. Texte établi, présenté et annoté par Jacques Chevalier. Bibliothèque de la Pléiade, Gallimard, Paris, 1976.

    Google Scholar 

  192. M. Pasch, Vorlesungen über neuere Geometrie. 1. Aufl. (1882), 2. Aufl. (Mit einem Anhang von M. Dehn: Die Grundlegung der Geometrie in historischer Entwicklung) J. Springer, Berlin, 1926.

    Google Scholar 

  193. J.-C. Petit, Caractérisation algébrique des plans affines munis d’une mesure des triangles. Algèbre Theorie Nombres, Sem. P. Dubreil, M.-L. Dubreil-Jacotin, L. Lesieur et C. Pisot 19 (1965/66), No. 22.

    Google Scholar 

  194. J.-C. Petit, Mesure des triangles et mesure des vecteurs à supports parallèles dans une géométrie plane affine. Math. Z., 94, 271–306 (1966), Zbl 156.19303.

    Google Scholar 

  195. J.-C. Petit, Mesure des vecteurs sur un groupe G et ternaires G-mesurables. Math. Z. 110 (1969), 223–256.

    MathSciNet  MATH  Google Scholar 

  196. B. B. Phadke, The theorem of Desargues in planes with analogues to Euclidean angular bisectors. Math. Scand. 39 (1976), 191–194.

    MathSciNet  MATH  Google Scholar 

  197. G. Pickert, Projektive Ebenen. Springer-Verlag, Berlin, 1955 (1st ed), 1975 (2nd ed).

    MATH  Google Scholar 

  198. G. Pickert, Der Satz von Pappos mit Festelementen. Arch. Math. (Basel) 10 (1959), 56–61.

    MathSciNet  MATH  Google Scholar 

  199. G. Pickert, Projectivities in projective planes. P. Plaumann and K. Strambach (eds), Geometry—von Staudt’s point of view (Bad Windsheim, 1980), pp. 1–49, D. Reidel, Dordrecht, 1981.

    Google Scholar 

  200. G. Pickert, Bemerkungen zu einem Inzidenzsatz von W. Kroll. Math. Semesterber. 40 (1993), 55–62.

    Google Scholar 

  201. G. Pickert, Ceva-Transitivität. Geom. Dedicata 74 (1999), 73–78.

    MathSciNet  MATH  Google Scholar 

  202. B. Polster, A geometrical picture book. Springer, New York, 1998.

    MATH  Google Scholar 

  203. M. Prażmowska, A proof of the projective Desargues axiom in the Desarguesian affine plane. Demonstratio Math. 37 (2004), 921–924.

    MathSciNet  MATH  Google Scholar 

  204. K. Prażmowski, On affine localisations of minor Desargues axiom and related affine axioms. Bull. Pol. Acad. Sci. Math. 36 (1988), 571–581.

    MathSciNet  MATH  Google Scholar 

  205. S. Prieß-Crampe, Angeordnete Strukturen. Gruppen, Körper, projektive Ebenen. Springer-Verlag, Berlin, 1983.

    Google Scholar 

  206. E. Quaisser, Metrische Relationen in affinen Ebenen. Math. Nachr. 48 (1971), 1–31.

    MathSciNet  MATH  Google Scholar 

  207. E. Quaisser, Zum Aufbau affiner Ebenen aus dem Spiegelungsbegriff. Z. Math. Logik Grundlag. Math. 27 (1981), 131–140.

    MathSciNet  MATH  Google Scholar 

  208. E. Quaisser, Zum Stufenaufbau von Translationsebenen in spiegelungsgeometrischer Darstellung. Z. Math. Logik Grundlag. Math. 34 (1988), 89–95.

    MathSciNet  MATH  Google Scholar 

  209. E. Quaisser, Zu einer Orthogonalitätsrelation in Desarguesschen Ebenen (der Charakteristik ≠ 2). Beitr. Algebra Geom. 4 (1975), 71–84.

    MathSciNet  MATH  Google Scholar 

  210. P. Rachevsky, Sur l’unicité de la géométrie projective dans le plan. Rec. Math. Moscou (Nouv. Sér.) 8 (1940), 107–119.

    MathSciNet  MATH  Google Scholar 

  211. W. Rautenberg, Ein Beweis des Satzes von Pappus-Pascal in der affinen Geometrie. Math.-Phys. Semesterber. 12 (1965), 197–210.

    MATH  Google Scholar 

  212. W. Rautenberg, Beweis des Kommutativgesetzes in elementar-archimedisch geordneten Gruppen. Z. Math. Logik Grundlag. Math. 11 (1965), 1–4.

    MATH  Google Scholar 

  213. W. Rautenberg, Elementare Schemata nichtelementarer Axiome. Z. Math. Logik Grundlag. Math. 13 (1967), 329–366.

    MathSciNet  MATH  Google Scholar 

  214. W. Rautenberg, The elementary Archimedean schema in geometry and some of its applications. Bull. Acad. Polon. Sci. Sér. Sci. Math. Astronom. Phys. 16 (1968), 837–843.

    MathSciNet  MATH  Google Scholar 

  215. W. Rautenberg, Euklidische und Minkowskische Orthogonalitätsrelationen. Fund. Math. 64 (1969), 189–196.

    MathSciNet  MATH  Google Scholar 

  216. W. Rautenberg, E. Quaisser, Orthogonalitätsrelationen in der affinen Geometrie. Z. Math. Logik Grundlag. Math. 15 (1969), 19–24.

    MATH  Google Scholar 

  217. K. Reich, Der Desarguessche und der Pascalsche Satz: Hessenbergs Beitrag zu Hilberts Grundlagen der Geometrie. H. Hecht et al.(eds.), Kosmos und Zahl. Beiträge zur Mathematik- und Astronomiegeschichte, zu Alexander von Humboldt und Leibniz, pp. 377–393, Franz Steiner Verlag, Stuttgart, 2008.

    Google Scholar 

  218. K. Reidemeister, Topologische Fragen der Differentialgeometrie V. Gewebe und Gruppen. Math. Z. 29 (1928), 427–435.

    Google Scholar 

  219. K. Reidemeister, Vorlesungen über Grundlagen der Geometrie. J. Springer, Berlin, 1930.

    MATH  Google Scholar 

  220. J. F. Rigby, Collineations, correlations, polarities, and conics. Canad. J. Math. 19 (1967) 1027–1041.

    MathSciNet  MATH  Google Scholar 

  221. J. F. Rigby, Pascal ovals in projective planes. Canad. J. Math. 21 (1969), 1462–1476.

    MathSciNet  MATH  Google Scholar 

  222. L. H. Rowen, Polynomial identities in ring theory. Academic Press, New York-London, 1980.

    MATH  Google Scholar 

  223. A. Saam, Ein neuer Schließungssatz für projektive Ebenen. J. Geom. 29 (1987), 36–42.

    MathSciNet  MATH  Google Scholar 

  224. A. Saam, Schließungssätze als Eigenschaften von Projektivitäten. J. Geom. 32 (1988), 86–130.

    MathSciNet  MATH  Google Scholar 

  225. A. Schleiermacher, Bemerkungen zum Fundamentalsatz der projektiven Geometrie. Math. Z. 99 (1967) 299–304.

    MathSciNet  MATH  Google Scholar 

  226. A. Schleiermacher, Über projektive Ebenen, in denen jede Projektivität mit sechs Fixpunkten die Identität ist. Math. Z. 123 (1971), 325–339.

    MathSciNet  MATH  Google Scholar 

  227. A. Schmidt, Die Dualität von Inzidenz und Senkrechtstehen in der absoluten Geometrie, Math. Ann. 118 (1943), 609–625.

    MathSciNet  MATH  Google Scholar 

  228. D. Schor, Neuer Beweis eines Satzes aus den ,,Grundlagen der Geometrie” von Hilbert. Math. Ann. 58 (1904), 427–433.

    MathSciNet  MATH  Google Scholar 

  229. K. Schütte, Ein Schließungssatz für Inzidenz und Orthogonalität. Math. Ann. 129 (1955), 424–430.

    MathSciNet  MATH  Google Scholar 

  230. K. Schütte, Die Winkelmetrik in der affin-orthogonalen Ebene. Math. Ann. 130 (1955), 183–195.

    MathSciNet  MATH  Google Scholar 

  231. K. Schütte, Schließungssätze für orthogonale Abbildungen euklidischer Ebenen. Math. Ann. 132 (1956), 106–120.

    MathSciNet  MATH  Google Scholar 

  232. F. Schur, Über den Fundamentalsatz der projectiven Geometrie, Math. Ann. 51 (1899), 401–409.

    MATH  Google Scholar 

  233. W. Schwabhäuser. W. Szmielew, A. Tarski, Metamathematische Methoden in der Geometrie. Springer-Verlag, Berlin, 1983 (re-issued by ISHI Press, New York, 2011).

    Google Scholar 

  234. W. Schwan, Streckenrechnung und Gruppentheorie. Math. Z. 3 (1919), 11–28.

    MATH  Google Scholar 

  235. B. Segre, Lectures on modern geometry. With an appendix by Lucio Lombardo-Radice. Edizioni Cremonese, Roma 1961.

    Google Scholar 

  236. A. Seidenberg, Pappus implies Desargues. Amer. Math. Monthly 83 (1976), 190–192.

    MathSciNet  MATH  Google Scholar 

  237. H. L. Skala, Projective-type axioms for the hyperbolic plane, Geom. Dedicata 44 (1992), 255–272.

    MathSciNet  MATH  Google Scholar 

  238. L. A. Skornyakov, Right-alternative fields. (Russian) Izvestiya Akad. Nauk SSSR. Ser. Mat. 15, (1951). 177–184.

    Google Scholar 

  239. L. A. Skornyakov, On the theory of alternative fields. (Russian) Uspehi Matem. Nauk (N.S.) 5 (1950), no. 5(39), 160–162.

    Google Scholar 

  240. L. A. Skornyakov, Alternative fields. (Russian) Ukrain. Mat. Žurnal 2 (1950), no. 1, 70–85.

    Google Scholar 

  241. L. A. Skornyakov, Alternative fields of characteristic 2 and 3. (Russian) Ukrain. Mat. Žurnal 2 (1950), no. 3, 94–99.

    Google Scholar 

  242. L. A. Skornyakov, The configuration D 9. (Russian) Mat. Sbornik (N.S.) 30(72) (1952), 73–78.

    Google Scholar 

  243. L. A. Skornyakov, Concerning the note “On the theory of alternative fields.” (Russian) Uspehi Matem. Nauk (N.S.) 9 (1954), no. 2(60), 185–188.

    Google Scholar 

  244. L. J. Smid, Über die Einführung der idealen Elemente in die ebene Geometrie mit Hilfe des Satzes vom vollständigen Vierseit. Math. Ann. 111 (1935), 285–288.

    MathSciNet  MATH  Google Scholar 

  245. L. J. Smid, Eine absolute Axiomatik der Geometrie in einer begrenzten Ebene. Math. Ann. 112 (1935), 125–138.

    MathSciNet  MATH  Google Scholar 

  246. K. Sörensen, Ebenen mit Kongruenz. J. Geom. 22 (1984), 15–30.

    MathSciNet  MATH  Google Scholar 

  247. E. Sperner, Zur Begründung der Geometrie im begrenzten Ebenenstück. Schr. Königsberger Gel. Ges. Naturw. Kl. 14 (1938), Nr. 6, 121–143 = Max Niemeyer, Halle a. S., 1938.

    Google Scholar 

  248. E. Sperner, Ein gruppentheoretischer Beweis des Satzes von Desargues in der absoluten Axiomatik. Arch. Math. (Basel) 5 (1954), 458–468.

    MathSciNet  MATH  Google Scholar 

  249. K. Strambach, Projektive Ebenen und Kegelschnitte. Arch. Math. (Basel) 64 (1995), 170–184.

    MathSciNet  MATH  Google Scholar 

  250. H. Struve, Eine spiegelungsgeometrische Kennzeichnung der Desargues- und der Pappus-Konfiguration. Arch. Math. (Basel) 43 (1984), 89–96.

    MathSciNet  MATH  Google Scholar 

  251. H. Struve, Affine Ebenen mit Orthogonalitätsrelation. Z. Math. Logik Grundlag. Math. 30 (1984), 223–231.

    MathSciNet  MATH  Google Scholar 

  252. H. Struve, R. Struve, The Desargues configuration and inversive geometry. Beitr. Algebra Geom. 23 (1986), 15–25.

    MathSciNet  MATH  Google Scholar 

  253. H. Struve, R. Struve, Endliche Cayley–Kleinsche Geometrien. Arch. Math. (Basel) 48 (1987), 178–184.

    MathSciNet  MATH  Google Scholar 

  254. R. Struve, An axiomatic foundation of Cayley–Klein geometries. J. Geom. 107 (2016), 225–248.

    MathSciNet  MATH  Google Scholar 

  255. Z. Szilasi, Notes on the Cevian nest property and the Newton property of projective planes. Elem. Math. 66 (2011), 1–10.

    MathSciNet  MATH  Google Scholar 

  256. W. Szmielew, From affine to Euclidean geometry. An axiomatic approach. D. Reidel, Dordrecht; PWN-Polish Scientific Publishers, Warszawa, 1983.

    Google Scholar 

  257. H. Tecklenburg, A proof of the theorem of Pappus in finite Desarguesian affine planes. J. Geom. 30 (1987), 172–181.

    MathSciNet  MATH  Google Scholar 

  258. K. Tent, Sharply 3-transitive groups. Adv. Math. 286 (2016), 722–728.

    MathSciNet  MATH  Google Scholar 

  259. A. C. Thompson, Minkowski geometry. Cambridge University Press. Cambridge, 1996.

    MATH  Google Scholar 

  260. G. Thomsen, Un teorema topologico sulle schiere di curve e una caratterizzazione geometrica delle superficie isotermo-asintotiche. Boll. Un. Mat. Ital. 6 (1927), 80–85.

    MATH  Google Scholar 

  261. G. Thomsen, Topologische Fragen der Differentialgeometrie. XII: Schnittpunktssätze in ebenen Geweben. Abh. Math. Semin. Hamb. Univ. 7 (1929), 99–106.

    Google Scholar 

  262. J. Tits, Généralisations des groupes projectifs. Acad. Roy. Belgique. Bull. Cl. Sci. (5) 35 (1949), 197–208.

    MathSciNet  MATH  Google Scholar 

  263. J. Tits, Généralisations des groupes projectifs. II. Acad. Roy. Belgique. Bull. Cl. Sci. (5) 35 (1949), 224–233.

    Google Scholar 

  264. J. Tits, Généralisations des groupes projectifs basées sur leurs propriétés de transitivité. Acad. Roy. Belgique. Cl. Sci. Mém. Coll. in 8 27 (1952). no. 2.

    Google Scholar 

  265. O. Veblen, J. H. Maclagan-Wedderburn, Non-Desarguesian and non-Pascalian geometries. Trans. Amer. Math. Soc. 8 (1907), 379–388.

    MathSciNet  MATH  Google Scholar 

  266. J.-D. Voelke, Le théorème fondamental de la géométrie projective: évolution de sa preuve entre 1847 et 1900. Arch. Hist. Exact Sci. 62 (2008), 243–296 .

    MathSciNet  MATH  Google Scholar 

  267. W. Wagner, Über die Grundlagen der projektiven Geometrie und allgemeine Zahlensysteme. Math. Ann. 113 (1937), 528–567.

    MathSciNet  MATH  Google Scholar 

  268. A. Wald, Axiomatik des Zwischenbegriffes in metrischen Räumen, Math. Ann. 104 (1931), 476–484.

    MathSciNet  MATH  Google Scholar 

  269. G. Weiß, Fano’sche Moufang-Ebenen mit Gauss-Figur sind Pappos’sch. J. Geom. 17 (1981), 46–49.

    MathSciNet  MATH  Google Scholar 

  270. H. Wiener, Über Grundlagen und Aufbau der Geometrie. Jahresber. Dtsch. Math.-Ver. 1 (1890–1891), 45–48.

    MATH  Google Scholar 

  271. H. Wiener, Sechs Abhandlungen über das Rechnen mit Spiegelungen, nebst Anwendungen auf die Geometrie der Bewegungen und auf die projective Geometrie. Breitkopf & Härtel, Leipzig, 1893.

    MATH  Google Scholar 

  272. L. Włodarski, On the Pappus, Desargues and related theorems of affine geometry. Bull. Acad. Polon. Sci. Sér. Sci. Math. 27 (1979), 869–873.

    MathSciNet  MATH  Google Scholar 

  273. H. Zassenhaus, Kennzeichnung endlicher linearer Gruppen als Permutationsgruppen. Abh. Math. Semin. Hamb. Univ. 11 (1935), 17–40.

    MathSciNet  MATH  Google Scholar 

  274. H. Zassenhaus, Über endliche Fastkörper. Abh. Math. Semin. Hamb. Univ. 11 (1935), 187–220.

    MATH  Google Scholar 

  275. H.-G. Zimmer, Bemerkungen zum Trapezdesargues. Math. Ann. 135 (1958), 274–278.

    MathSciNet  MATH  Google Scholar 

  276. H.-G. Zimmer, Über Quadrate der affinen Rechtwinkelgeometrie. Math. Ann. 135 (1958), 340–351.

    MathSciNet  MATH  Google Scholar 

  277. M. Zorn, Theorie der alternativen Ringe. Abh. Math. Semin. Hamb. Univ. 8 (1930), 123–147.

    MathSciNet  MATH  Google Scholar 

  278. M. Zorn, Alternativkörper und quadratische Systeme. Abh. Math. Semin. Hamb. Univ. 9 (1933), 395–402.

    MATH  Google Scholar 

Download references

Acknowledgements

Thanks are due to Hans Havlicek, Horst and Rolf Struve, and the referee for their very valuable suggestions and corrections. The second author was nominally supported by an NCUIRE Fellowship of the New College of Interdisciplinary Arts and Sciences at the West campus of Arizona State University.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Victor Pambuccian .

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2019 Springer Nature Switzerland AG

About this chapter

Check for updates. Verify currency and authenticity via CrossMark

Cite this chapter

Pambuccian, V., Schacht, C. (2019). The Axiomatic Destiny of the Theorems of Pappus and Desargues. In: Dani, S.G., Papadopoulos, A. (eds) Geometry in History. Springer, Cham. https://doi.org/10.1007/978-3-030-13609-3_8

Download citation

Publish with us

Policies and ethics