×
Kreisel, Georg

A survey of proof theory. (English) Zbl 0177.01002

J. Symb. Log. 33, 321-388 (1968).
Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page
scan of Zbl 0177.01002

Cited in 2 Reviews
Cited in 34 Documents

Keywords:

algebraic logic, model theory
Cite Review PDF
Full Text: DOI

References:

[1] Transactions of the American Mathematical Society 127 pp 50– (1967)
[2] Bulletin de l’Académie Polonaise des Sciences 7 pp 405– (1959)
[3] The theory of models pp 342– (1965)
[4] Theory of models pp 329– (1965)
[5] Recent results in proof theory pp 16– (1966)
[6] Formal systems and recursive functions pp 279– (1965)
[7] this Journal 25 pp 305– (1960)
[8] Beweistheorie (1960) · Zbl 0102.24704
[9] Introduction to model theory and to the metamathematics of algebra (1963) · Zbl 0118.25302
[10] DOI: 10.1002/malq.19660120128 · Zbl 0202.31002 · doi:10.1002/malq.19660120128
[11] Recursive function theory, Proceedings of symposia in pure mathematics 5 pp 29– (1962)
[12] Fundamenta mathematicae 44 pp 12– (1957)
[13] Einführung in die operative Logik und Mathematik (1955) · Zbl 0066.24802
[14] this Journal 29 pp 220– (1964)
[15] this Journal 20 pp 115– (1955)
[16] Memoirs of the American Mathematical Society 57 (1965)
[17] Methodology and Philosophy of Science (1964)
[18] this Journal 33 pp 446– (1968)
[19] this Journal 29 pp 161– (1964)
[20] Archiv für mathematische Logik und Grundlagenforschung 5 pp 42– (1959)
[21] DOI: 10.1002/malq.19680140702 · Zbl 0167.01302 · doi:10.1002/malq.19680140702
[22] Elements of mathematical logic; theory of models (1967)
[23] DOI: 10.1090/S0002-9947-1967-0219421-0 · doi:10.1090/S0002-9947-1967-0219421-0
[24] this Journal 32 pp 442– (1967)
[25] this Journal 32 pp 198– (1967)
[26] Problems in the philosophy of mathematics pp 138– (1967)
[27] Essays on the foundations of mathematics (1962) · Zbl 0128.24103
[28] Bertrand Russell: Philosopher of the century pp 201– (1967)
[29] this Journal 19 pp 21– (1954)
[30] Lectures on modern mathematics III pp 95– (1965)
[31] this Journal 30 pp 155– (1965)
[32] Bulletin de l’Academie Polonaise des Sciences 12 pp 79– (1964)
[33] DOI: 10.1090/pspum/005/0154801 · doi:10.1090/pspum/005/0154801
[34] The theory of models pp 190– (1965)
[35] Notices of the American Mathematical Society 13 (1966)
[36] Indagationes 27 pp 467– (1965)
[37] Dutch Academy A 65 pp 307– (1962)
[38] Proceedings of the symposium on infinitistic methods in the foundations of mathematics 1959 pp 103– (1961)
[39] this Journal 25 pp 390– (1960)
[40] Bulletin de la Société Mathématique de France 88 pp 371– (1960)
[41] Bulletin de l’Académie Polonaise des Sciences 7 pp 621– (1959)
[42] Acta arithmetica 11 pp 397– (1966)
[43] Constructivity in mathematics pp 101– (1959)
[44] DOI: 10.1090/S0002-9904-1967-11689-6 · Zbl 0174.02004 · doi:10.1090/S0002-9904-1967-11689-6
[45] Ordinal logics and the characterization of informal concepts of proof pp 289– (1958)
[46] Fundamenta mathematicae 42 pp 101– (1955)
[47] this Journal 23 pp 155– (1958)
[48] this Journal 27 pp 139– (1962)
[49] Foundations of intuitionistic mathematics (1965)
[50] this Journal 23 pp 109– (1958)
[51] Introduction to metamathematics (1952)
[52] this Journal 23 pp 108– (1958)
[53] Studies in logic and the foundations of mathematics (1955)
[54] Proceedings of the Eleventh International Congress of Philosophy pp 39– (1953)
[55] this Journal 16 pp 241– (1961)
[56] DOI: 10.1090/S0002-9904-1966-11456-8 · Zbl 0143.26001 · doi:10.1090/S0002-9904-1966-11456-8
[57] this Journal 31 pp 294– (1966)
[58] Languages with expressions of infinite length (1964) · Zbl 0127.00901
[59] this Journal 31 pp 325– (1966)
[60] this Journal 28 pp 303– (1963)
[61] Grundlagen der Mathematik (1939)
[62] this Journal 27 pp 391– (1963)
[63] Grundlagen der Geometrie (1930)
[64] DOI: 10.1007/BF02940589 · JFM 48.1188.01 · doi:10.1007/BF02940589
[65] Fundamenta Mathematicae 53 pp 309– (1964)
[66] this Journal 14 pp 42– (1949)
[67] Forschungen zur Logik und zur Grundlegung der exakten Wissenschaften 4 (1938)
[68] Notices of the American Mathematical Society 14 pp 144– (1967)
[69] Infinitistic methods (1961)
[70] DOI: 10.1007/BF02025806 · Zbl 0122.24502 · doi:10.1007/BF02025806
[71] An {\(\omega\)}-model for the hyperarithmetic comprehension axiom in which the {\(\Sigma\)}1 1-axiom of choice fails
[72] DOI: 10.1007/BF01565428 · Zbl 0014.38801 · doi:10.1007/BF01565428
[73] Mathematische Zeitschrift 39 pp 176– (1934)
[74] Compositio 20 pp 107– (1968)
[75] DOI: 10.1090/S0002-9904-1966-11507-0 · Zbl 0234.02038 · doi:10.1090/S0002-9904-1966-11507-0
[76] Fundamenta mathematicae 54 pp 303– (1964)
[77] this Journal 33 (1968)
[78] this Journal 29 pp 1– (1964)
[79] Formal systems and recursive functions pp 189– (1964)
[80] Fundamenta mathematicae 49 pp 36– (1960)
[81] this Journal 30 pp 13– (1965)
[82] DOI: 10.1007/BF01594179 · Zbl 0016.19501 · doi:10.1007/BF01594179
[83] DOI: 10.1111/j.1746-8361.1958.tb01464.x · Zbl 0090.01003 · doi:10.1111/j.1746-8361.1958.tb01464.x
[84] The undecidable (1955)
[85] Mathematische Annalen 174 pp 202– (1967)
[86] this Journal 32 (1967)
[87] Vierteljahrsschrift der naturforschenden Gesellschaft 95 pp 115– (1950)
[88] this Journal 24 pp 1– (1959)
[89] Undecidable theories (1953)
[90] Japan journal of mathematics 23 pp 39– (1953)
[91] DOI: 10.1090/S0002-9904-1966-11611-7 · Zbl 0199.00801 · doi:10.1090/S0002-9904-1966-11611-7
[92] this Journal 31 pp 151– (1966)
[93] this Journal 30 pp 175– (1965)
[94] DOI: 10.2307/1970691 · Zbl 0159.00905 · doi:10.2307/1970691
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. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.