La prédicativité

Kreisel, G.

Bulletin de la Société Mathématique de France, Tome 88 (1960), pp. 371-391.

[1] Addison (J. W.). - Review, J. symb. Logic, t. 22, 1957, p. 301-302.

[2] Addison (J. W.). - Abstract, Not. Amer. Math. Soc. t. 5, 1958, p. 845.

[3] Brouwer (L. E. J.). - Zur Begründung der intuitionischen Mathematik, III, Math. Annalen, t. 96, 1926, p. 451-488. | JFM

[4] Feferman (S.). - Transfinite recursive progressions of axiomatic theories (à paraître). | Zbl

[5] Gödel (Kurt). - The consistency of the axiom of choice and the generalized continuum hypothesis with the axioms of set theory, 2nd ed. - Princeton, Princeton University Press (Annals of Mathematics Studies, 3). | Zbl

[6] Gödel (Kurt). - Russell's mathematical logic in The philosophy of Bertrand Russell, p. 125-153. - New York, Tudor publishing Company, 1944 (Library of living philosophers, 5).

[7] Grzegorczyk (A.). - Elementarily definable analysis, Fund. Math., t. 41, 1955, p. 311-338. | MR | Zbl

[8] Grzegorczyk (A.), Mostowski (A.), and Ryll-Nardzewski (C.). - The classical and the ω-complete arithmetic, J. symb. Logic, t. 23, 1958, p. 188-206. | MR | Zbl

[9] Kleene (S. C.). - Arithmetical predicates and function quantifiers, Trans. Amer. math. soc., t. 79, 1955, p. 312-340. | MR | Zbl

[10] Kleene (S. C.). - Hierarchies of number-theoretic predicates, Bull. Amer. math. Soc., t. 61, 1955, p. 193-213. | MR | Zbl

[11] Kleene (S. C.). - Quantification of number-theoretic functions, Compositio Math. t. 14, 1959, p. 23-40. | Numdam | MR | Zbl

[12] Kreisel (G.). - Some uses of metamathematics, British J. Phil. Sc., t. 7 1956, p. 161-173.

[13] Kreisel (G.). - Analyse de [10], Math. Reviews, t. 17, 1956, p. 4.

[14] Kreisel (G.). Analysis of the Cantor-Bendixson theorem by means of the analytic hierarchy, Bull. Acad. polon. Sc., t. 7, 1959, p. 621-626. | MR | Zbl

[15] Kreisel (G.). - Set theoretic problems suggested by the notion of potential totality, Proceedings of the Symposium on infinitistic methods in the foundations of mathematics (Warsaw, 2-8 septembre 1959), p. 103-140. | Zbl

[16] Kreisel (G.). - Foundations of intuitionistic logic, Proceedings of the 1960 International Congress for Logic, Methodology and Philosophy of Science (Stanford, 24 août-5 septembre 1960). | Zbl

[17] Kreisel (G.) et Lacombe (D.). - Ensembles récursivement mesurables et ensembles récursivement ouverts et fermés, C. R. Acad. Sc. t. 245, 1957, p. 1106-1109. | MR | Zbl

[18] Lorenzen (P.). - Logical reflexion and formalism, J. symb. Logic, t. 23, 1958, p. 241-249. | MR | Zbl

[19] Poincaré (H.). - Sechs. Vorträge ïber ausgewählte Gegenstände aus der reinen Mathematik und mathematischen Physik. - Leipzig, Berlin, B. G. Teubner, 1910. | JFM

[20] Schütte (Kurt). - Ein widerspruchsloses System der Analysis auf typenfreier Grundlage. Math. Z., t. 61, 1954, p. 160-179. | MR | Zbl

[21] Shoenfield (J. R.). - Abstract, Not. Amer. math. Soc., t. 6, 1959, p. 530-531.

[22] Spector (Clifford). - Recursive well-orderings, J. symb. Logic, t. 20, 1955. p. 151-163. | MR | Zbl

[23] Spector (Clifford). - Recursive ordinals and prédicative set theory, Summaries of talks presented at the Summer Institute for symbolic Logic, in 1957, at the Cornell University, p. 377-382. | Zbl

[24] Wang (Hao). - The formalization of mathematics, J. symb. Logic, t. 19, 1954, p. 241-266. | MR | Zbl

[25] Gandy (R. O.), Kreisel (G.) and Tait (W. W.). - Set Existence, Bull. Acad. polon. Sc., t. 8, 1960. | MR | Zbl