×

zbMATH — the first resource for mathematics

La prédicativité. (French) Zbl 0131.00604

PDF BibTeX XML Cite
Full Text: DOI Numdam EuDML
References:
[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 52.0193.01 · JFM 52.0193.01
[4] FEFERMAN (S.) . - Transfinite recursive progressions of axiomatic theories (à paraître). Zbl 0117.25402 · Zbl 0117.25402 · doi:10.2307/2964649
[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 0061.00902 · Zbl 0061.00902
[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. Article | MR 16,891b | Zbl 0064.00902 · Zbl 0064.00902 · eudml:213359
[8] GRZEGORCZYK (A.) , MOSTOWSKI (A.) , and RYLL-NARDZEWSKI (C.) . - The classical and the \omega -complete arithmetic , J. symb. Logic, t. 23, 1958 , p. 188-206. MR 21 #4908 | Zbl 0084.24801 · Zbl 0084.24801 · doi:10.2307/2964398
[9] KLEENE (S. C.) . - Arithmetical predicates and function quantifiers , Trans. Amer. math. soc., t. 79, 1955 , p. 312-340. MR 17,4g | Zbl 0066.25703 · Zbl 0066.25703 · doi:10.2307/1993033
[10] KLEENE (S. C.) . - Hierarchies of number-theoretic predicates , Bull. Amer. math. Soc., t. 61, 1955 , p. 193-213. Article | MR 17,4f | Zbl 0066.25901 · Zbl 0066.25901 · doi:10.1090/S0002-9904-1955-09896-3 · minidml.mathdoc.fr
[11] KLEENE (S. C.) . - Quantification of number-theoretic functions , Compositio Math. t. 14, 1959 , p. 23-40. Numdam | MR 21 #2586 | Zbl 0085.24701 · Zbl 0085.24701 · numdam:CM_1959-1960__14__23_0 · eudml:88855
[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. · Zbl 0075.13401
[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 22 #9444 | Zbl 0093.01401 · Zbl 0093.01401
[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 0199.01401 · Zbl 0199.01401
[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 0133.24801 · Zbl 0133.24801
[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 22 #3680 | Zbl 0079.00901 · Zbl 0079.00901
[18] LORENZEN (P.) . - Logical reflexion and formalism , J. symb. Logic, t. 23, 1958 , p. 241-249. MR 21 #3322 | Zbl 0086.00902 · Zbl 0086.00902 · doi:10.2307/2964281
[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 41.0376.02 · JFM 41.0376.02
[20] SCHÜTTE (Kurt) . - Ein widerspruchsloses System der Analysis auf typenfreier Grundlage . Math. Z., t. 61, 1954 , p. 160-179. Article | MR 16,662a | Zbl 0056.24601 · Zbl 0056.24601 · doi:10.1007/BF01181340 · eudml:169456
[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 17,570b | Zbl 0067.00303 · Zbl 0067.00303 · doi:10.2307/2266902
[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 0207.30902 · Zbl 0207.30902
[24] WANG (Hao) . - The formalization of mathematics , J. symb. Logic, t. 19, 1954 , p. 241-266. MR 16,661d | Zbl 0056.24503 · Zbl 0056.24503 · doi:10.2307/2267732
[25] GANDY (R. O.) , KREISEL (G.) and TAIT (W. W.) . - Set Existence , Bull. Acad. polon. Sc., t. 8, 1960 . MR 28 #2964a | Zbl 0207.30102 · Zbl 0207.30102
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.