The other axiom of choice

 Access to full text

 Full (PDF)

1. [1] ACZEL ( Peter) [1978] The type theoretic interpretation of constructive set theory, dans Macintyre (A.), Pacholski (L.), Paris (J.), éd., Logic Colloquium 1977, Amsterdam : North Holland, 1978, p.56–66. Zbl0481.03035MR519801
2. [2] AGERON ( Pierre) [2000] Logiques, ensembles, catégories. Le point de vue constructif, Paris : Ellipses, 2000. 
3. [3] ATIYAH ( Michael) et al. [1994] Responses to : A. Jaffe and F. Quinn, “Theoretical mathematics : toward a cultural synthesis of mathematics and theoretical physics” [Bull. Amer. Math. Soc. (N.S.) 29 (1993), no. 1, 1–13], Bulletin of the American Mathematical Society, 30 (1994), p.178–207. Zbl0803.01014MR1254073
4. [4] BADIOU ( Alain) [1995] Platon et/ou Aristote-Leibniz. Théorie des ensembles et théorie des topos sous l’œil du philosophe, dans Panza (M.) et Salanskis (J.-M.), éd., L’objectivité mathématique, Paris : Masson, 1995. 
5. [5] BETTAZI ( Rodolfo) [1896] Gruppi finiti ed infiniti di enti, Atti della Reale Academia delle scienze di Torino, Classe di scienze fisiche, matematiche e naturali, 31 (1896), p.506–512. JFM27.0062.01
6. [6] BISHOP ( Errett) [1967] Foundations of Constructive Analysis, New-York : McGraw-Hill, 1967. MR221878
7. [7] BOREL ( Émile) [1905a] Quelques remarques sur les principes de la théorie des ensembles, Mathematische Annalen, 60 (1905), p.194–195. Zbl36.0098.06JFM36.0098.06
8. [8] BOREL ( Émile) [1905b] Cinq lettres sur la théorie des ensembles, Bulletin de la Société mathématique de France, 33 (1905), p.261–273 ; reproduites dans [Borel 1907] et citées ici d’après [Rivenc et Rouilhan 1992, p.289–307]. JFM36.0099.01
9. [9] BOREL ( Émile) [1907] Leçons sur la théorie des fonctions, 2e éd., Paris : Gauthier-Villars, 1907. Zbl0035.33701
10. [10] BOREL ( Émile) [1928] Leçons sur la théorie des fonctions, 3e éd., Paris : Gauthier-Villars, 1928. Zbl0035.33701
11. [11] BOURBAKI ( Nicolas) [1954] Théorie des ensembles, Paris : Hermann, 1954. MR65611
12. [12] BROUWER ( Luitzen Egbertus Jan) [1908] De onbetrouwbaarheid der logische principes, Tijdschrift voor wijsbegeerte, 2 (1908), p.152–158 ; trad. fr. ‘Qu’on ne peut pas se fier aux principes logiques’ dans Largeault (J.), Intuitionisme et théorie de la démonstration, Paris : Vrin, 1992. 
13. [13] BROUWER ( Luitzen Egbertus Jan) [1924] Beweis, daß jede volle Funktion gleichmässig stetig ist, Koninklijke Nederlandse Akademie van Wetenschappen Amsterdam, Proc. Sect. Sci. 27 (1924), p.189–193. JFM50.0147.01
14. [14] CASSINET ( Jean) & GUILLEMOT ( Michel) [1983] L’axiome du choix dans les mathématiques de Cauchy (1821) à Gödel (1940), thèse d’État, 2 vol., Université Toulouse 3, 1983. Zbl0567.01017
15. [15] CHOQUET ( Gustave) [1975] Avant-propos de ‘Arnaud Denjoy, évocation de l’homme et de l’œuvre’, Astérisque 28/29 (1975), p.3–8. Zbl0327.01018MR392371
16. [16] COHEN ( Paul J.) [1964] The independence of the continuum hypothesis, Proceedings of the National Academy of Sciences (USA), 50 (1963), p.1143–1148 ; 51 (1964), p.105–110. Zbl0192.04401MR157890
17. [17] DENJOY ( Arnaud) [1937] La part de l’empirisme dans la logique mathématique, dans Travaux du IXe Congrès international de philosophie – Logique et mathématique, Paris : Hermann, 1937, p.111–120. JFM63.0837.01
18. [18] DENJOY ( Arnaud) [1941] Sur les nombres transfinis, Comptes rendus hebdomadaires des séances de l’Académie des sciences de Paris, 213 (1941), p.432. Zbl0026.30103MR9179
19. [19] DENJOY ( Arnaud) [1947] L’ordination des ensembles, C. R. Acad. sci. Paris, 224 (1947), p.1081–1083. Zbl0029.11403MR20116
20. [20] DENJOY ( Arnaud) [1948] L’innéité du transfini, dans Le Lionnais (F.), Les grands courants de la pensée mathématique (1948), $2$e éd., Paris : A. Blanchard, 1962, p.188–195. 
21. [21] DENJOY ( Arnaud) [1951] Rapport général sur les travaux du Colloque de philosophie mathématique, dans XVe Congrès international de philosophie des sciences, Paris, 1949 – Philosophie mathématique, Paris : Hermann 1951, p.3–18. Reproduit sous le titre « Bourbaki et les mathématiques du jour » dans [Denjoy 1964], p.229–248. 
22. [22] DENJOY ( Arnaud) [1954] L’énumération transfinie, Paris : Gauthiers-Villars, 1954. Zbl0049.03503
23. [23] DENJOY ( Arnaud) [1964] Hommes, formes et le nombre, Paris : Albert Blanchard, 1964. 
24. [24] DENJOY ( Arnaud) [1975] Le mécanisme des opérations mentales chez les mathématiciens, conférence donnée à Bucarest en 1947, dans ‘Arnaud Denjoy, évocation de l’homme et de l’œuvre’, Astérisque 28/29 (1975), p.43–54. 
25. [25] DIACONESCU ( Radu) [1975] Axiom of choice and complementation, Proceedings of the American Mathematical Society, 51 (1975), p.176–178. Zbl0317.02077MR373893
26. [26] DIEUDONNÉ ( Jean) [1982] Mathématiques vides et mathématiques significatives, dans Penser les mathématiques, Paris : le Seuil, 1982. Zbl0368.00001MR674499
27. [27] DOOB ( Joseph Leo) [1972] Obituary : Paul Lévy, Journal of Applied Probability, 9 (1972), p.871–872. Zbl0245.01020MR342336
28. [28] DUBREIL ( Paul) [1950] Algèbre. Tome I. Équivalences, opérations, groupes, anneaux, corps, Paris : Gauthier-Villars, 1950. Zbl0041.36702MR17734
29. [29] FRAENKEL ( Abraham) [1921] Ueber die Zermelosche Begründung der Mengenlehre, Jahresbericht der deutschen Mathematiker-Vereinigung, 30 (1921), p.97–98. JFM48.0199.03
30. [30] FRAENKEL ( Abraham) [1922a] Zu den Grundlagen der Cantor-Zermeloschen Mengenlehre, Mathematische Annalen, 86 (1922), p.230–237. Zbl48.0199.04MR1512088JFM48.0199.04
31. [31] FRAENKEL ( Abraham) [1922b] Der Begriff ‘definit’ und die Unabhängigkeit des Auswahlaxioms, Sitzungsberichte der preussischen Akademie der Wissenschaften, Physikalisch-mathematische Klasse (1922), p.253–257. Zbl48.0199.02JFM48.0199.02
32. [32] FRAENKEL ( Abraham) [1953] Abstract Set Theory, Amsterdam : North Holland, 1953. Zbl0050.04903MR56660
33. [33] FRAENKEL ( Abraham) [1958] Introduction historique de P. Bernays, Axiomatic Set Theory, Amsterdam : North Holland, 1958. Zbl0082.26301MR252214
34. [34] FRAENKEL ( Abraham) [1973] (avec Y.Bar-Hillel et A.Levy) Foundations of Set Theory, 2nd éd., Amsterdam : North Holland, 1973. Zbl0248.02071MR345816
35. [35] FREYD ( Peter) [1972] Aspects of topoi, Bulletin of the Australian Mathematical Society, 7 (1972), p.1–72. Zbl0252.18001MR396714
36. [36] GIRARD ( Jean-Yves) [1970] Une extension de l’interprétation de Gödel à l’analyse, et son application à l’élimination des coupures dans l’analyse et la théorie des types, dans Proceedings of the 2nd Scandinavian Logic Symposium, Amsterdam : North-Holland, 1970, p.63–92. Zbl0221.02013MR409133
37. [37] GISPERT ( Hélène) [1995] La théorie des ensembles en France avant la crise de 1905 : Baire, Borel, Lebesgue... et tous les autres, Revue d’histoire des mathématiques, 1 (1995), p.39–81. Zbl0822.01003MR1328153
38. [38] GÖDEL ( Kurt) [1938] The consistency of the axiom of choice and of the generalized continuum hypothesis, Proceedings Nat. Acad. Sci. (USA), 24 (1938), p.556–557. Zbl0020.29701
39. [39] GOODMAN ( Nicolas D.) & MYHILL ( John) [1972] The formalization of Bishop’s constructive mathematics, dans Toposes, Algebraic Geometry and Logic, Springer, 1972, p.83–96. Zbl0247.02033MR354329
40. [40] GOODMAN ( Nicolas D.) & MYHILL ( John) [1978] Choice implies excluded middle, Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, 24 (1978), p.461. Zbl0387.03017MR509798
41. [41] GRIFFITHS ( H. Brian) & HILTON ( Peter J.) [1970] A Comprehensive Textbook of Classical Mathematics. A Contemporary Interpretation, Van Nostrand Reinhold, 1970 ; rééd. Springer, 1979. Zbl0188.00101MR555092
42. [42] HARTOGS ( Friedrich) [1915] Ueber das Problem der Wohlordnung, Math. Ann., 76 (1915), p.436–443. MR1511833JFM45.0125.01
43. [43] HEYTING ( Arend) [1930] Die formalen Regeln der intuitionistischen Logik, Sitzungsberichte der preussischen Akademie der Wissenschaften (1930), p.42–56. Zbl56.0823.01JFM56.0823.01
44. [44] HILBERT ( David) [1923] Die logischen Grundlagen der Mathematik, Math. Ann., 88 (1923), p.151–165. MR1512123JFM48.1120.01
45. [45] HINTIKKA ( Jaako) [1999] The axiom of choice is not a set-theoretical principle, Dialectica, 53 (1999), p.283–290. MR1764088
46. [46] HOWARD ( Paul) & RUBIN ( Jean E.) [1998] Consequences of the axiom of choice, Mathematical Surveys and Monographs, Providence, R.I. : American Math. Society, 1998. Zbl0947.03001MR1637107
47. [47] KAMKE ( Erich) [1964] Théorie des ensembles, trad. par A.M. v.d. Lahr-Degout, Paris : Dunod, 1964 ; réimpr. Paris : J.Gabay, 1993. MR1357168
48. [48] LARGEAULT ( Jean) [1993] Intuition et intuitionisme, Paris : Vrin, 1993. Zbl0980.03001MR1355781
49. [49] LAWVERE ( F. William) [1971] Quantifiers as sheaves, dans Actes du Congrès international des mathématiciens tenu à Nice en 1970, Paris : Gauthier-Villars, 1971, p.329–334. Zbl0261.18010MR430021
50. [50] LAWVERE ( F. William) [2000] Comments on the development of topos theory, dans Pier (J.-P.), éd., Development of Mathematics 1950–2000, Birkhäuser, 2000, p.715–734. Zbl0969.18003MR1796856
51. [51] LEBESGUE ( Henri) [1905] Lettre à Emile Borel, éd. dans [Borel 1905 b], p.298–303. 
52. [52] LÉVY ( Paul) [1926a] Sur le principe du tiers exclu et les théorèmes non susceptibles de démonstration, Revue de métaphysique et de morale, 33 (1926), p.235–258. JFM52.0046.06
53. [53] LÉVY ( Paul) [1926b] Critique de la logique empirique. Réponse à M. Rolin Wavre, Revue de métaphysique et de morale, 33 (1926), p.545–551. JFM52.0047.02
54. [54] LÉVY ( Paul) [1927] Logique classique, logique brouwérienne et logique mixte, Bulletin de l’Académie royale de Belgique, 13 (1927), p.256–266. Zbl53.0040.03JFM53.0040.03
55. [55] LÉVY ( Paul) [1936] Les paradoxes de la théorie des ensembles infinis, Recherches philosophiques, 6 (1936–1937), p.204–219. 
56. [56] LÉVY ( Paul) [1950] Axiome de Zermelo et nombres transfinis, Annales scientifiques de l’École normale supérieure, 67 (1950), p.15–49. Zbl0037.00401MR36200
57. [57] LÉVY ( Paul) [1964] Remarques sur un théorème de Paul Cohen, Revue de métaphysique et de morale (1964), p.88–94. 
58. [58] LÉVY ( Paul) [1967] L’axiomatique et le problème du continu, Revue de métaphysique et de morale (1967), p.287–294. 
59. [59] LÉVY ( Paul) [1968] Observations sur la lettre de M. Dieudonné, Revue de métaphysique et de morale (1968), p.250–251. 
60. [60] LÉVY ( Paul) [1970] Quelques aspects de la pensée d’un mathématicien, Paris : Albert Blanchard, 1970. 
61. [61] LOÈVE ( Michel) [1973] Paul Lévy, 1886–1971, Annals of Probability, 1 (1973), p.1–18. Zbl0258.01008MR342337
62. [62] MAC LANE ( Saunders) & MOERDIJK ( Ieke) [1992] Sheaves in Geometry and Logic : a First Introduction to Topos Theory, New-York : Springer, 1992. Zbl0822.18001MR1300636
63. [63] MARTIN-LOEF ( Per) [1974] An intuitionistic theory of types : predicative part, dans Logic Colloquium 1973, Amsterdam : North Holland, 1974, p.73–118. Zbl0334.02016MR387009
64. [64] MCLARTY ( Colin) [1990] The uses and abuses of the history of topos theory, British Journal of Philosophy and Science, 41 (1990), p.351–375. Zbl0709.18002MR1078691
65. [65] MOORE ( Gregory H.) [1982] Zermelo’s Axiom of Choice : its Origins, Development and Influence, New-York : Springer, 1982. Zbl0497.01005MR679315
66. [66] MYHILL ( John) [1975] Constructive set theory, Journal of Symbolic Logic, 40 (1975), p.347–382. Zbl0314.02045MR381941
67. [67] PATRAS ( Frédéric) [2001] La pensée mathématique contemporaine, Paris : PUF, 2001. 
68. [68] POINCARÉ ( Henri) [1913] Dernières pensées, Paris : Flammarion, 1913. 
69. [69] RETORÉ ( Christian) [1992] Introduction à [Borel 1905 a] et [Borel 1905 b] dans [Rivenc et de Rouilhan 1992], p.287–294. 
70. [70] RIVENC ( François) & ROUILHAN ( Philippe de) [1992] Logique et fondements des mathématiques. Anthologie (1850–1914), Paris : Payot, 1992. 
71. [71] ROSSET ( Clément) [1997] Le démon de la tautologie, Paris : Les Éditions de Minuit, 1997. 
72. [72] SCHWARTZ ( Laurent) [1997] Un mathématicien aux prises avec le siècle, Paris : Odile Jacob, 1997. Zbl0913.01043
73. [73] SKOLEM ( Thoralf) [1923] Einige Bemerkungen zur axiomatischen Begründung der Mengenlehre, dans Wissenschaftliche Vorträge gehalten auf dem fünften Kongress der Skandinavischen Mathematiker in Helsingfors 1922, Helsinky 1923, p.217–232 ; traduction anglaise dans Van Heijenoort (Jean), éd., From Frege to Gödel, Cambridge : Harvard University Press, 1967, p.290–301. JFM49.0138.02
74. [74] SU ( Francis Edward) [1997] Borsuk-Ulam implies Brouwer : a direct construction, American Mathematical Monthly, 104 (1997), p.855–859. Zbl0884.54028MR1479992
75. [75] VAN DALEN ( Dirk) [1999] Mystic, Geometer and Intuitionist. The Life of L.E.J.Brouwer, Oxford : Clarendon Press, 1999. Zbl0916.01021MR1669279
76. [76] WEYL ( Hermann) [1910] Ueber die Definitionen der mathematischen Grundbegriffe, Mathematisch-naturwissenschaftliche Blätter, 7 (1910), p.93–95, 109–113. JFM41.0089.03
77. [77] ZERMELO ( Ernst) [1904] Beweis, daß jede Menge wohlgeordnet werden kann, Math. Ann., 59 (1904), p.514–516. Zbl35.0088.03MR1511281JFM35.0088.03
78. [78] ZERMELO ( Ernst) [1908a] Neuer Beweis für die Möglichkeit einer Wohlordnung, Math. Ann., 65 (1908), p.107–128. Zbl38.0096.02JFM38.0096.02
79. [79] ZERMELO ( Ernst) [1908b] Untersuchungen über die Grundlagen der Mengenlehre, Math. Ann., 65 (1908), p.261–281. MR1511466JFM39.0097.03

1. Pierre Ageron, La philosophie mathématique de Roger Apéry