Poincaré et le concept de prédicativité
Séminaire de Philosophie et Mathématiques no. 8  (1985), p. 1-15
@article{SPHM_1985___8_A1_0,
     author = {Heinzmann, Gerhard},
     title = {Poincar\'e et le concept de pr\'edicativit\'e},
     journal = {S\'eminaire de Philosophie et Math\'ematiques},
     publisher = {\'Ecole Normale Sup\'erieure~; \'Ecole Centrale des Arts et Manufactures},
     number = {8},
     year = {1985},
     pages = {1-15},
     language = {fr},
     url = {http://www.numdam.org/item/SPHM_1985___8_A1_0}
}
Heinzmann, Gerhard. Poincaré et le concept de prédicativité. Séminaire de Philosophie et Mathématiques, no. 8 (1985), pp. 1-15. http://www.numdam.org/item/SPHM_1985___8_A1_0/

Borel, Emile 1908a Les paradoxes de la théorie des ensembles. Ann. scientifiques de l'ENS 44 (3e série 25), pp. 443-448.

Borel, Emile 1908b Sur les principes de la théorie des ensembles. Atti int. dei Matematici. Roma, vol II, pp. 15-17. | JFM 40.0098.06

Feferman, Solomon 1964 Systems of Predicative Analysis. The Journal of Symbolic Logic 29, pp. 1-30. | MR 193006 | Zbl 0134.01101

Fraenkel, Adolf Abraham 1927 Zehn Vorlesungen über die Grundlegung der Mengenlehre. Leipzig/Berlin. | JFM 53.0170.01

Heyting, Arend 1934 Mathematische Grundlagenforschung, Intuitionismus, Beweistheorie, Berlin. | JFM 60.0019.01 | Zbl 0009.38501

Poincaré, Jules Henri 1906 Les mathématiques et la logique. Rev. méta. et mor. 14. pp. 294-317. | JFM 37.0060.01

Poincaré, Jules Henri 1909a Réflexions sur les deux notes précédentes. Acta mathematica 32, pp. 195-200 ; cité d'après la réimpression dans Poincaré, Oeuvres, t. XI, pp. 114-119.

Poincaré, Jules Henri 1909b La logique de l'infini. Rev. méta. et mor. 17. pp. 461-482 ; cité d'après la réimpression dans Poincaré, Dernières pensées. Paris 1963, pp. 7-31. | JFM 40.0097.06

Poincaré, Jules Henri 1909c Über transfinite Zahlen. Dans H. Poincaré, Sechs Vorträge über ausgewählte Gegenstände aus der reinen Mathematik und mathematischen Physik. Leipzig/Berlin 1910, 5. Vortrag, pp. 43-48 ; cité d'après la réimpression dans Poincaré, Oeuvres, t. XI, pp. 120-124.

Poincaré, Jules Henri 1912 La logique de l'infini. Scientia 12, pp. 1-11 ; cité d'après la réimpression dans Poincaré, Dernières pensées. Paris 1963, pp. 84-96. | JFM 43.0099.03

Russell, Bertrand Arthur William 1906a On some Difficulties on the Theory of Transfinite Numbers and Order Types. Proc. of the London Math. Soc., 2nd ser., 4 (1907) (issued 1906), pp. 29-53. | JFM 37.0074.01 | MR 1576093

Russell, Bertrand Arthur William 1906b Les paradoxes de la logique. Rev. méta. et mor. 14, pp. 627-650. | JFM 37.0060.03

Zermelo, Ernst Frierich Ferdinand 1908 Neuer Beweis für die Möglichkeit einer Wohlordnung. Mathematische Annalen 65, pp. 107-128. | JFM 38.0096.02

Zermelo, Ernst Frierich Ferdinand 1909 Sur les ensembles finis et le principe de l'induction. Acta mathematica 32, pp. 185-193. | JFM 40.0098.03 | MR 1555050