Theory of Sets pp 259-346 | Cite as

Structures

  • Nicolas Bourbaki

Abstract

The purpose of this chapter is to describe once and for all a certain number of formative constructions and proofs (cf. Chapter I, § 1, no. 3 and § 2, no. 2) which arise very frequently in mathematics.

Keywords

Manifold Sine Recent Epoch Pyramid Egypt 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Bibliography

  1. 1.
    O. Neugebauer, Vorlesungen über die Geschichte der antiken Mathematik, Vol. I, Vorgriechische Mathematik, Berlin (Springer), 1934.Google Scholar
  2. 2.
    The Works of Aristotle, translated under the editorship of J. A. Smith and W. D. Ross (12 volumes, Oxford, 1908–1952).Google Scholar
  3. 2.
    (bis). T. L. Heath, Mathematics in Aristotle, Oxford (Clarendon Press), 1949.MATHGoogle Scholar
  4. 3.
    T. L. Heath, The Thirteen Books of Euclid’s Elements…, 3 volumes, Cambridge, 1908.Google Scholar
  5. 4.
    Archimedes Opera Omnia, 3 volumes, edited by J. L. Heiberg, 2nd edition, 1913–1915.Google Scholar
  6. 4.
    (bis). T. L. Heath, The Method of Archimedes, Cambridge, 1912.Google Scholar
  7. 5.
    J. M. Bochenski, Ancient Formal Logic, Studies in Logic, Amsterdam (North Holland Pub. Co.), 1951.MATHGoogle Scholar
  8. 6.
    P. Böhner, Medieval Logic, an Outline of its Development from 1250to ca. 1400, Chicago, 1952.Google Scholar
  9. 7.
    D. Francisci Maurolyci, Abbatis Messamensis, Mathematici Celeberrimi, Arithmeticorum Libri Duo, Venice, 1575.Google Scholar
  10. 8.
    Galileo Galilei, Opere, Ristampa della Edizione Nazionale, 20 volumes, Florence (Barbara), 1929–39.Google Scholar
  11. 9.
    A. Girard, Invention nouvelle en l’Algèbre, 1629 (new edition, Bierens de Haan, 1884).Google Scholar
  12. 10.
    R. Descartes, Ceuvres, edited by C. Adam and P. Tannery, 11 volumes, Paris (L. Cerf), 1897–1909.Google Scholar
  13. 11.
    B. Pascal, Euvres, edited by Brunschvicg, 14 volumes, Paris (Hachette), 1904–1914.Google Scholar
  14. 12.
    G. W. Leibntz: Mathematische Schriften, edited by C. I. Gerhardt, 7 volumes, Berlin-Halle (Asher-Schmidt), 1849–1863;Google Scholar
  15. G. W. Leibntz: Philosophische Schriften, edited by C. I. Gerhardt, 7 volumes, Berlin, 1840–1890Google Scholar
  16. G. W. Leibntz: Opuscules et fragments inédits, edited by L. Couturat, Paris (Alcan), 1903.Google Scholar
  17. 12.
    (bis). L. ?outurat, La logique de Leibniz d’après des documents inédits, Paris (Alcan), 1901.MATHGoogle Scholar
  18. 13.
    D’Alembert, Encyclopédie, Paris, 1751–1765, articles “Négatif”, “Imaginaire”, “Définition”.Google Scholar
  19. 14.
    C. F. Gauss, Werke, 12 volumes, Göttingen, 1870–1927.Google Scholar
  20. 15.
    N. Lobatschevsky, Pangeometrie, Ostwald’s Klassiker, no. 130, Leipzig (Engelmann), 1902.Google Scholar
  21. 16.
    G. Boole: The Mathematical Analysis of Logic, Cambridge-London, 1847 (= Collected Logical Works, edited by P. Jourdain, Chicago-London, 1916, vol. I)Google Scholar
  22. G. Boole: An Investigation of the Laws of Thought, Cambridge-London, 1854 (= Collected Logical Works, vol. II).Google Scholar
  23. 17.
    H. Gkjissmann, Gesammelte Werke, 6 volumes, Leipzig (Teubner), 1894.Google Scholar
  24. 18.
    B. Bolzano, Paradoxien des Unendlichen, Leipzig, 1851.Google Scholar
  25. 19.
    B. Riemann, Gesammelte mathematische Werke, 2nd edition, Leipzig (Teubner), 1892.MATHGoogle Scholar
  26. 20.
    H. Hankel, Theorie der complexen,Zahlensysteme, Leipzig (Voss), 1867.Google Scholar
  27. 21.
    A. De Morgan:“On the syllogism (III)”, Trans. Garb. Phil. Soc., 10 (1858), pp. 173–230Google Scholar
  28. A. De Morgan “On the syllogism (IV) and on the logic of relations”, Trans. Garb. Phil. Soc., 10 (1860) pp. 331–358.Google Scholar
  29. 22.
    C. S. Peirce “Upon the logic of mathematics”, Proc. Amer. Acad. Arts and Sci., 7 (1865–1868), pp. 402–412CrossRefGoogle Scholar
  30. C. S. Peirce “On the algebra of logic”, Amer. Journ. of Math., 3 (1880), pp. 49–57MathSciNetCrossRefGoogle Scholar
  31. C. S. Peirce“On the algebra of logic”, Amer. Journ. of Math., 7 (1884), pp. 190–202.Google Scholar
  32. 23.
    E. Schröder, Vorlesungen über die Algebra der Logik, 3 volumes, Leipzig (Teubner), 1890.Google Scholar
  33. 24.
    G. Frege, Begriffsschrift eine der arithmetischen nachgebildete Formelsprache des reinen Denkens, Halle, 1879;Google Scholar
  34. G. Frege Die Grundlagen der Arithmetik, 2nd edition with an English translation by J. L. Austin, New York, 1950Google Scholar
  35. G. Frege Grundgesetze der Arithmetik, begrif ffsschriftlich abgeleitet, 2 volumes, Jena, 1893–1903.Google Scholar
  36. 25.
    G. Cantor, Gesammelte Abhandlungen, Berlin (Springer), 1932.Google Scholar
  37. 25.
    (bis). G. Cantor, R. Dedekind, Briefwechsel, edited by J. Cavaillès and E. Noether, Act. Sci. et Ind., no. 518, Paris (Hermann), 1937.Google Scholar
  38. 26.
    R. Dedekind, Gesammelte mathematische Werke, 3 volumes, Braunschweig (Vieweg), 1932.Google Scholar
  39. 27.
    C. Hermrte, T. Stieltjes, Correspondance, 2 volumes, Paris (Gauthier-Villars), 1905.Google Scholar
  40. 28.
    M. Pasch und M. Dehn, Vorlesungen über neuere Geometrie, 2nd edition, Berlin, (Springer), 1926.MATHGoogle Scholar
  41. 29.
    G. Peauo, Arithmeticae principia, novo modo exposita, Turin, 1889Google Scholar
  42. G. Peauo, I principii di Geometria, logicamente espositi, Turin, 1889Google Scholar
  43. G. Peauo, Formulaire de Mathematiques, 5 volumes, Turin, 1895–1905.Google Scholar
  44. 30.
    D. Hilbert, Grundlagen der Geometrie, 7th edition, Leipzig-Berlin (Teubner), 1930.MATHGoogle Scholar
  45. 31.
    D. Hilbert, Gesammelte Abhandlungen, vol. III, Berlin (Springer), 1935.Google Scholar
  46. 32.
    D. Hilbert, W. Ackermann, Grundzüge der theoretischen Logik, 3rd edition, Berlin (Springer), 1949.MATHGoogle Scholar
  47. 33.
    H. Poincaré: Science et hypothése, Paris (Flammarion), 1906Google Scholar
  48. E. Poincaré Science et méthode, Paris (Flammarion), 1920.Google Scholar
  49. 34.
    J. Richard, “Les principes des mathématiques et le problète des ensembles”, Rev. Gen. des Sci. Pures et Appl, 16 (1905), pp. 541–543.Google Scholar
  50. 35.
    R. Baire, E. Borel, J. Hadamard, H. Lebesgue, “Cinq lettres sur la théorie des ensembles”, Bull. Soc. Math. de France, 33 (1905), pp. 261–273.MATHGoogle Scholar
  51. 36.
    E. Zermelo, “Beweis dass jede Menge wohlgeordnet werden kann”, Math. Ann., 59 (1904), pp. 514–516MathSciNetMATHCrossRefGoogle Scholar
  52. E. Zermelo“Neuer Beweis fur die Möglichkeit einer Wohlordnung”, Math. Ann, 65 (1908), pp. 107–128MATHCrossRefGoogle Scholar
  53. E. Zermelo“Untersuchungen über die Grundlagen der Mengenlehre”, Math. Ann, 65 (1908), pp. 261–281.MathSciNetMATHCrossRefGoogle Scholar
  54. 37.
    B. Russell and A. N. Whitehead, Principia Mathematica, 3 volumes, Cambridge, 1910–1913.Google Scholar
  55. 38.
    L. E. J. Brouwer, “Intuitionism and formalism”, Bull. Amer. Math. Soc., 20 (1913), pp. 81–96MathSciNetMATHCrossRefGoogle Scholar
  56. L. E. J. Brouwer“Zur Begründung des intuitionistischen Mathematik”, Math. Ann., 93 (1925), pp. 244–257; 95 (1926), pp. 453–473; 96 (1926), pp. 451–458.Google Scholar
  57. 39.
    T. Skolem, “Einige Bemerkungen zur axiomatischen Begründung der Mengenlehre”, Wiss. Vorträge, 5 Kongress Skand. Math., Helsingfors, 1922.Google Scholar
  58. 40.
    K. Kuratowski, “Une méthode d’élimination des nombres transfinis des raisonnements mathématiques”, Fund. Math, 5 (1922), pp. 76–108.Google Scholar
  59. 41.
    A. Fraenkel “Zu den Grundlagen der Cantor-Zermeloschen Mengenlehre”, Math. Ann., 86 (1922), pp. 230–237MathSciNetMATHCrossRefGoogle Scholar
  60. A. Fraenkel Zehn Vorlesungen über die Grundlgaung der Mengenlehre, Wiss. und Hypothese vol. 31, Leipzig-Berlin, 1927Google Scholar
  61. A. Fraenkel Einleitung in die Mengenlehre, 3rd edition, Berlin (Springer), 1928.MATHGoogle Scholar
  62. 42.
    J. Herbrand, “Recherches sur la théorie de la démonstration”, Tray. Soc. Sci. et Lett. Varsovie, cl. II (1930), pp. 33–160.Google Scholar
  63. 43.
    J. Von Neumann “Eine Axiomatisierung der Mengenlehre”, Crepe, 154 (1925), pp. 219–240Google Scholar
  64. J. Von Neumann “Die Axiomatisierung der Mengenlehre”, Math.,Zeitsсhr., 27 (1928), pp. 669–752MATHCrossRefGoogle Scholar
  65. J. Von Neumann“Zur Hilbertschen Beweistheorie”, Math.Zeitschr., 26 (1927), pp. 1–46.MATHCrossRefGoogle Scholar
  66. 44.
    K. Godel: “Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme”, Monatsh. für Math. u. Phys., 38 (1931), pp. 173–198MathSciNetCrossRefGoogle Scholar
  67. K. Godel The consistency of the axiom of choice and of the generalized continuum hypothesis, Ann. of Math. Studies, no. 3, Princeton, 1940.Google Scholar
  68. 45.
    M. Zorn, “A remark on method in transfinite algebra”, Bull. Amer. Math. Soc., 41 (1935), pp. 667–670.MathSciNetCrossRefGoogle Scholar
  69. 46.
    A. Heyting, Mathematische Grundlagenforschung. Intuitionismus. Beweistheorie, Ergebnisse der Math., vol. 3, Berlin (Springer), 1934.Google Scholar
  70. 47.
    G. Gentzen, Die gegenwartige Lage in der mathematischen Grundlagenforschung. Neue Fassung des Widerspruchfreiheitsbвweises fйr die reine Zahlentheorie, Forschungen der Logik…, Нefc 4, Leipzig (Hirzel), 1938.Google Scholar
  71. 48.
    S. Kleene, Introduction to Metamathematics, New York, 1952.MATHGoogle Scholar
  72. 49.
    P. J. Cohen, “The independence of the continuum hypothesis”, Proc. Nat. Acad. Sci., 50 (1963), pp. 1143–1148 and 51 (1964), pp. 105–110.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2004

Authors and Affiliations

  • Nicolas Bourbaki

There are no affiliations available

Personalised recommendations