La prédicativité
Bulletin de la Société Mathématique de France, Tome 88 (1960), pp. 371-391 
@article{BSMF_1960__88__371_0,
     author = {Kreisel, G.},
     title = {La pr\'edicativit\'e},
     journal = {Bulletin de la Soci\'et\'e Math\'ematique de France},
     pages = {371--391},
     year = {1960},
     publisher = {Soci\'et\'e math\'ematique de France},
     volume = {88},
     doi = {10.24033/bsmf.1554},
     mrnumber = {23 #A800},
     zbl = {0131.00604},
     language = {fr},
     url = {https://www.numdam.org/articles/10.24033/bsmf.1554/}
}
TY  - JOUR
AU  - Kreisel, G.
TI  - La prédicativité
JO  - Bulletin de la Société Mathématique de France
PY  - 1960
SP  - 371
EP  - 391
VL  - 88
PB  - Société mathématique de France
UR  - https://www.numdam.org/articles/10.24033/bsmf.1554/
DO  - 10.24033/bsmf.1554
LA  - fr
ID  - BSMF_1960__88__371_0
ER  - 
%0 Journal Article
%A Kreisel, G.
%T La prédicativité
%J Bulletin de la Société Mathématique de France
%D 1960
%P 371-391
%V 88
%I Société mathématique de France
%U https://www.numdam.org/articles/10.24033/bsmf.1554/
%R 10.24033/bsmf.1554
%G fr
%F BSMF_1960__88__371_0
Kreisel, G. La prédicativité. Bulletin de la Société Mathématique de France, Tome 88 (1960), pp. 371-391. doi: 10.24033/bsmf.1554

[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. | Zbl | MR

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

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

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

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

[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. | Zbl | MR

[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. | Zbl | MR

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

[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. | Zbl | MR

[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. | Zbl | MR

[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. | Zbl | MR

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

Cité par Sources :