Georg Kreisel Papers SC0136

http://oac.cdlib.org/findaid/ark:/13030/kt4k403759 No online items

Guide to the Georg Kreisel Papers SC0136

Daniel Hartwig & Jenny Johnson Department of Special Collections and University Archives October 2010 Green Library 557 Escondido Mall Stanford 94305-6064 [email protected] URL: http://library.stanford.edu/spc Note This encoded finding aid is compliant with Stanford EAD Best Practice Guidelines, Version 1.0.This encoded finding aid is compliant with Stanford EAD Best Practice Guidelines, Version 1.0.

Guide to the Georg Kreisel Papers SC0136 1 SC0136 Language of Material: English Contributing Institution: Department of Special Collections and University Archives Title: Georg Kreisel papers creator: Kreisel, Georg Identifier/Call Number: SC0136 Physical Description: 24.75 Linear Feet Date (inclusive): 1957-1984 Language of Material: English Language of Material: English Abstract: Correspondence with professional colleagues, collaborators, students, and others, primarily from 1962 to 1984, lecture notes, manuscripts and other writings. Ownership & Copyright All requests to reproduce, publish, quote from, or otherwise use collection materials must be submitted in writing to the Head of Special Collections and University Archives, Stanford University Libraries, Stanford, California 94304-6064. Consent is given on behalf of Special Collections as the owner of the physical items and is not intended to include or imply permission from the copyright owner. Such permission must be obtained from the copyright owner, heir(s) or assigns. See: http://library.stanford.edu/depts/spc/pubserv/permissions.html. Restrictions also apply to digital representations of the original materials. Use of digital files is restricted to research and educational purposes. Biographical/Historical Sketch Professor of Logic and the Foundations of Mathematics at Stanford University. Born in Graz, Austria, Kreisel received his B.A. degree in 1944 and his M.A. degree in 1947, both from Cambridge University. He served at Lecturer in Mathematics at the University of Reading from 1949 to 1954, 1957 to 1958 and 1959 to 1960. He was a member of the Institute for Advanced Study at Princeton from 1955 to 1957, and Professor of Mathematics at the University of Paris from 1960 to 1964. He first came to Stanford University in 1958 as a Visiting Associate Professor of Mathematics and later as Visiting Professor of Logic and Mathematics. Since 1964, he has held a joint appointment in Stanford's departments of Mathematics and Philosophy. In 1966, he was elected a Fellow of the Royal Society. Kreisel died on March 1, 2015. Description of the Collection Correspondence with professional colleagues, collaborators, students, and others, primarily from 1962 to 1984, lecture notes, manuscripts and other writings. Information about Access The materials are open for research use. Cite As Georg Kreisel Papers (SCM0136). Dept. of Special Collections and University Archives, Stanford University Libraries, Stanford, Calif. Subjects and Indexing Terms Mathematics -- Philosophy. Logic, Symbolic and Mathematical. Kreisel, Georg Kreisel, Georg Kreisel, Georg Stanford University. Department of Mathematics Stanford University. Department of Philosophy

Correspondence

box 1, folder 1 A- misc. box 1, folder 2 Apt, Krystof R. – [Polish Institute for Mathematics] box 1, folder 3 B – misc. box 1, folder 4 Barendregt, H.

Guide to the Georg Kreisel Papers SC0136 2 SC0136 Correspondence

box 1, folder 5 Barendregt, H. box 1, folder 6 Barwise, Jon box 1, folder 7 Barwise, Jon box 1, folder 8 Barwise, Jon box 2, folder 1 Beeson, Michael box 2, folder 2 Beeson, Michael box 2, folder 2a Berlin, Isaiah box 2, folder 3 Bernays, Paul box 2, folder 4 Bernays, Paul box 2, folder 5 Bernays, Paul box 2, folder 6 Bishop, Erret box 2, folder 6a Block box 2, folder 7 Boffa, M. box 3, folder 1 Browder, Felix E. box 3, folder 2 Bullard, Sir Edward box 3, folder 3 C – misc. box 3, folder 4 Cassels, J. W. S. box 3, folder 4a Cagnoni, D. box 3, folder 5 Cellucci, Carlo box 3, folder 6 Church, Alonzo box 3, folder 7 Cleave, John P. box 3, folder 8 Cohen, Paul box 3, folder 8a Cordeschi box 3, folder 9 Crick, Francis and Odile box 3, folder 10 D – misc. box 3, folder 10a DeHorney box 3, folder 11 de Jongh, Richard box 3, folder 11a Derrick box 3, folder 12 Dreben, Burton box 3, folder 13 Duchin, Peter box 3, folder 14 E – misc. box 3, folder 14a Eggenberger box 3, folder 15 Erdos, R. box 3, folder 16 Engeler, Erwin box 3, folder 17 Ershov, Y.L. box 3, folder 18 F – misc. box 3, folder 19 Feferman, Sol box 3, folder 20 Felscher, Walter box 3, folder 20a Fenstad, Erik box 3, folder 20b Franzen, T. box 3, folder 21 Friedman, Harvey box 3, folder 22 Friedman, Harvey box 4, folder 1 G – misc. box 4, folder 2 Gabbay, Dov M. box 4, folder 3 Gandy, Ro. O. box 4, folder 3a Geach, Peter box 4, folder 4 Gerber, Harvey box 4, folder 5 Grandy, Richard E. box 4, folder 6 Girard, J-Y box 4, folder 7 Girard, J-Y box 4, folder 8 Glass, A. M. W. box 5, folder 1 Godemont box 5, folder 2 Gondard box 5, folder 3 Goodman, Nicholas box 5, folder 4 Graham, R. L. box 5, folder 5 Grilliot, T. box 5, folder 5a Guaspari, David box 5, folder 5b Guillaume

Guide to the Georg Kreisel Papers SC0136 3 SC0136 Correspondence

box 5, folder 6 H – misc. box 5, folder 7 Hajek, P.; Hanf, W. P. box 5, folder 7a Halmos box 5, folder 8 Halpern, J. D. box 5, folder 8a Harrington, L. box 5, folder 9 Heyting, A. box 5, folder 10 Howard, William box 5, folder 11 Howard, William box 5, folder 12 Howard, William box 6, folder 1 Howard, William box 6, folder 2 Howard, William box 6, folder 3 Howard, William box 6, folder 4 Howard, William box 7, folder 1 Howard, William box 7, folder 2 Howard, William box 7, folder 3 Howard, William box 7, folder 4 Howard, William box 7, folder 4a Hubner box 7, folder 5 Hyland, M. box 8, folder 1 I, J. – misc. box 8, folder 2 Jack, T. box 8, folder 3 Jacobson, Nathan box 8, folder 4 Jeroslow, Robert G. box 8, folder 5 Jeroslow, Robert G. box 8, folder 6 Jockusch, Carl box 8, folder 7 Jockusch, Carl box 8, folder 7a Joel box 8, folder 8 Jung, Joachin box 8, folder 9 K – misc. box 8, folder 10 Karp, Carol box 8, folder 11 Keisler, J. H. box 8, folder 12 Kripke, S. box 8, folder 13 Kleene, S. C. box 8, folder 14 L – misc. box 9, folder 1 Lachlan, Alistair box 9, folder 2 Lacombe, D. box 9, folder 2a Leivant, Daniel box 9, folder 3 Lerman, M. box 9, folder 4 Lerner, Manny box 9, folder 5 Levy Azriel box 9, folder 5a Lieberherr, Karl box 9, folder 6 Lifschitz (Volodya) box 9, folder 6a Littlewood box 9, folder 7 Lob, M. H. box 9, folder 8 Lopez-Escobar, E. G. K. box 9, folder 9 Lopez-Escobar, E. G. K. box 9, folder 10 Lorenzen, P. – Festschrift box 9, folder 11 Lowe, William L. box 9, folder 12 Luckhardt, Horst box 9, folder 13 M – misc. box 9, folder 13 MacIntyre box 9, folder 14 Maclane, S. box 9, folder 14a “Madmen” – Guberman box 10, folder 1 Magari, Roberto box 10, folder 2 Makowsky, J. A. box 10, folder 3 Marek, W. [Polish Institute of Mathematics] box 10, folder 4 Martin-Lof, P. box 10, folder 5 Martin-Lof, P.

Guide to the Georg Kreisel Papers SC0136 4 SC0136 Correspondence

box 10, folder 6 Mathematical Review box 10, folder 7 Mints, G. E. box 10, folder 8 Mints, G. E. box 10, folder 8a Mints, G. E. box 10, folder 9 Monk, L. box 10, folder 10 Muller, G. H. box 10, folder 11 Murdoch, Iris box 11, folder 1 Mycielski, Jan box 11, folder 2 Myhill, John box 11, folder 2a Nelson, Edward box 11, folder 2b Nerode, Anil box 11, folder 3 0 – misc. box 11, folder 4 P – misc. box 11, folder 5 Pappinghaus, P. box 11, folder 6 Parikh, R. box 11, folder 7 Parsons, Charles box 11, folder 8 Platek, R. box 11, folder 8a Porte, Jean box 11, folder 8b Pohler, W. box 11, folder 8c Posy, Carl box 11, folder 9 Prawitz, Dag box 11, folder 10 Prawitz, Dag box 11, folder 11 Prawitz, Dag box 11, folder 12 Prawitz, Dag box 12, folder 1 Prawitz, Dag box 12, folder 2 Prawitz, Dag box 12, folder 3 Prawitz, Dag box 12, folder 4 Prawitz, Dag box 12, folder 5 Putnam, Hilary box 12, folder 6 Queneau, R. box 12, folder 7 R – misc. box 12, folder 8 Rabin, M. box 12, folder 9 Radu, E. box 12, folder 10 Rautenberg, Wolfgang box 12, folder 11 Ressayre, J. P. box 12, folder 12 Richardson, Daniel box 12, folder 13 Reinhardt box 13, folder 1 Robinson, Abraham box 13, folder 2 Robinson, Julia box 13, folder 3 Rogers, H. box 13, folder 4 Royal Society – Brouwer obituary box 13, folder 5 Royal Society – correspondence box 13, folder 6 Russell, Bertrand box 13, folder 7 S – misc. box 13, folder 7a Saarinen box 13, folder 8 Sabbagh, G. box 13, folder 9 Sabbagh, G. box 13, folder 10 Sacks, G. box 14, folder 1 Sacks, G. box 14, folder 2 Sacks, G. box 14, folder 3 Sacks, G. box 14, folder 4 Sacks, G. box 14, folder 5 Sanchis, Luis Elpidio box 14, folder 6 Scarpellini, Bruno box 14, folder 6a Schaeffer box 14, folder 7 Schutte, Kurt box 14, folder 8 Schutte – Festschrift box 14, folder 9 Schwichtenberg, Helmut

Guide to the Georg Kreisel Papers SC0136 5 SC0136 Correspondence

box 15, folder 1 Scott, Dana box 15, folder 2 Scott, Dana box 15, folder 3 Scott, Dana box 15, folder 4 Serre box 16, folder 1 Shepherdson, J. C. box 16, folder 2 Shockley, Wm. box 16, folder 3 Shoenfield, J. R. box 16, folder 4 Shore, Richard A. box 16, folder 5 Simpson, S. G. box 16, folder 5a Slisenko, Anatole box 16, folder 6 Smorynski, Craig box 16, folder 7 Smorynski, Craig box 17, folder 1 Smorynski, Craig box 17, folder 2 Soare, Robert box 17, folder 3 Solovay, Robert M. box 17, folder 4 Spector, Clifford box 17, folder 5 Statman, Richard box 17, folder 5a Statman, Richard box 17, folder 5b Statman, Richard box 17, folder 6 Stavi, Jonathan box 17, folder 7 Steel, John box 17, folder 8 Stegmuller, W. box 17, folder 9 Suppes, Patrick box 17, folder 9a Surma box 17, folder 9b Swart, H. de box 17, folder 10 T – misc. box 17, folder 11 Tait, Ww. box 18, folder 1 Tait, W. W. box 18, folder 2 Takeuti, Gaisi box 18, folder 3 Takeuti, Gaisi box 18, folder 4 Takeuti, Gaisi box 19, folder 1 Takeuti, Gaisi box 19, folder 2 Takeuti, Gaisi box 19, folder 3 Takeuti, Gaisi box 19, folder 4 Takeuti, Gaisi box 19, folder 5 Thom, M. Rene box 19, folder 6 Thompson, David B. box 19, folder 6a Tosi box 19, folder 7 Troelstra, A. S. box 20, folder 1 Troelstra, A. S. box 20, folder 2 Troelstra, A. S. box 20, folder 3 Troelstra, A. S. box 20, folder 4 Troelstra, A. S. box 21, folder 1 Troelstra, A. S. box 21, folder 2 Troelstra, A. S. box 21, folder 2a Tselishchev box 21, folder 3 Ullman, Arthur box 21, folder 3a Unique box 21, folder 4 V – misc. box 21, folder 5 van Heijenoort, Jean box 21, folder 6 Vesley, R. E. box 21, folder 6a Ville box 21, folder 7 Vladik, B. F. box 21, folder 7a Vogel, H. box 21, folder 8 W – misc. (includes Ian Williams) box 21, folder 9 Wang, Hao box 21, folder 10 Weingartner, Paul box 21, folder 11 Wigner, Eugene

Guide to the Georg Kreisel Papers SC0136 6 SC0136 Correspondence

box 21, folder 12 Winternitz, Robert box 21, folder 12a Yasugi box 21, folder 13 Yates, Michael box 21, folder 14 Yourgrau, Wolfgang box 21, folder 15 Ziman, J. M. box 21, folder 16 Zucker, J. Box 27, Folder 1 Addison 1977 Oct - 1978 Mar Box 27, Folder 2 Armendariz 1977 Aug Box 27, Folder 3 Ashton 1977 Jan- 1977 Oct Box 27, Folder 4 Barendregt 1977 Apr - 1978 Feb Box 27, Folder 5 Barwise 1977 May - 1978 Mar Box 27, Folder 6 Beeson 1977 May Box 27, Folder 7 Bernays 1977 May - 1977 Oct Box 27, Folder 8 Block 1977 Dec - 1978 Feb Box 27, Folder 9 Bokser 1977 Jul - 1978 Mar Box 27, Folder 10 Buchholz 1977 Jun - 1977 Oct Box 27, Folder 11 Cagnoni 1977 Apr - 1977 Sep Box 27, Folder 12 Cappelletti 1977 Oct Box 27, Folder 13 Case 1978 Feb Box 27, Folder 14 Cellucci 1977 Dec - 1978 Mar Box 27, Folder 15 Corcoran 1977 Dec - 1978 Mar Box 27, Folder 16 Crick 1977 Dec - 1978 Feb Box 27, Folder 17 Dehornoy 1977 May - 1977 Jun Box 27, Folder 18 del Franco 1977 Dec - 1978 Feb Box 27, Folder 19 Drogalin 1977 Nov Box 27, Folder 20 Dummett 1977 Dec - 1978 Feb Box 27, Folder 21 Dyson 1978 Jan - 1978 Feb Box 27, Folder 22 Engeler 1977 May - 1978 Mar Box 27, Folder 23 Ershov 1977 Dec - 1978 Jan Box 27, Folder 24 Faust 1977 Oct Box 27, Folder 25 Felscher 1977 Apr - 1977 Dec Box 27, Folder 26 Fensted 1977 Dec Box 27, Folder 27 Fried 1977 Nov - 1978 Feb Box 27, Folder 28 Friedman, Harvey (including paper 'The Intuitionistic Completeness of Intuitionistic Logic Under Tarskian Semantics") 1977 Apr - 1978 Feb Box 27, Folder 29 Friedman, Sy 1977 Oct Box 27, Folder 30 Gabbay 1977 Nov Box 27, Folder 31 Geach 1978 Feb Box 27, Folder 32 Girard 1977 Jun Box 27, Folder 33 Glymour 1978 Feb Box 27, Folder 34 Godel (correspondence regarding his death) 1978 Jan - 1978 Feb Box 27, Folder 35 Guillaume 1977 Apr - 1977 Dec Box 27, Folder 36 Haller 1977 Dec - 1978 Jan Box 27, Folder 37 Harrington 1977 Nov Box 27, Folder 38 Homer 1977 Dec - 1978 Jan Box 27, Folder 39 Hubner (including paper by Kreisel, "On Wittgenstein's Conversations About the Foundations of Mathematics"(In German and English) 1977 Feb - 1978 Jan Box 27, Folder 40 Hyland 1977 Apr - 1978 Mar Box 27, Folder 41 Jarvie 1977 Apr - 1978 Mar Box 27, Folder 42 Jockusch 1977 May - 1978 Feb Box 27, Folder 43 Kim 1977 Dec Box 27, Folder 44 Kleene 1977 Apr - 1978 Feb Box 27, Folder 45 Kochen 1977 Dec - 1978 Feb Box 27, Folder 46 Kopliansky 1977 Oct Box 27, Folder 47 Kuiper 1977 Jan - Sep Box 27, Folder 48 Lam 1978 Mar Box 27, Folder 49 Leivant 1977 May Box 27, Folder 50 Lerman 1977 Dec - 1978 Mar

Guide to the Georg Kreisel Papers SC0136 7 SC0136 Correspondence

Box 27, Folder 51 Lifschitz 1977 Dec - 1978 Jan Box 27, Folder 52 Lin 1977 Nov Box 27, Folder 53 Lopez-Escobar 1977 Dec Box 27, Folder 54 Lorenzen (including paper by Kreisel, "Formal Rules and Questions of Justifying Mathematical Practice") 1977 Apr - 1978 Apr Box 27, Folder 55 Luckhardt 1977 Dec - 1978 Mar Box 27, Folder 56 "Madmen" 1977 Mar - 1978 Jan Box 27, Folder 57 Marcus 1978 Mar Box 27, Folder 58 Mcintyre 1977 Dec - 1978 Mar Box 27, Folder 59 Mints 1977 Mar - 1978 Mar Box 27, Folder 60 Monk 1977 Sep Box 27, Folder 61 Murdoch 1977 Nov Box 27, Folder 62 Muser 1978 Feb Box 27, Folder 63 Nelson 1977 Feb - 1978 Feb Box 27, Folder 64 Nerode 1977 Dec - 1978 Jan Box 27, Folder 65 Neston 1977 Oct Box 27, Folder 66 Owings 1977 Nov Box 27, Folder 67 Pappinghaus 1977 Dec - 1978 Feb Box 27, Folder 68 Parikh 1977 May - Oct Box 27, Folder 69 Paris 1977 Apr - May Box 27, Folder 70 Perzanowski 1976 Dec - 1977 Oct Box 27, Folder 71 Pohlers 1977 Apr - 1978 Mar Box 27, Folder 72 Popovic 1977 Dec - 1978 Mar Box 27, Folder 73 Prawitz 1978 Jan - Mar Box 27, Folder 74 Putnam 1977 Nov Box 28, Folder 1 Quine 1977 Oct - 1977 Nov Box 28, Folder 1A Radu 1977 Sep Box 28, Folder 2 Robin 1977 Oct - 1977 Dec Box 28, Folder 3 Rogers 1977 Aug - 1977 Dec Box 28, Folder 4 Royal Society 1977 Aug - 1978 Mar Box 28, Folder 5 Saarinen 1977 Apr - 1977 Nov Box 28, Folder 6 Sabbagh 1977 Jul - 1978 Mar Box 28, Folder 7 Sacks 1977 May - 1977 Nov Box 28, Folder 8 Schlipf 1977 May - 1978 Feb Box 28, Folder 9 Schmerl 1977 Nov - 1978 Jan Box 28, Folder 10 Schuler 1978 Feb Box 28, Folder 11 Schutte 1977 Nov Box 28, Schwichtenberg 1977 Dec - 1978 Feb Folder 11A Box 28, Folder 12 Scott 1977 Jun - 1978 Jan Box 28, Folder 13 Shapiro 1977 Oct Box 28, Folder 14 Shepherdson 1977 Jun - Aug Box 28, Folder 15 Shimony 1978 Jan - Mar Box 28, Folder 16 Shoenfield 1977 May Box 28, Folder 17 Sieg 1977 Mar - Dec Box 28, Folder 18 Silver 1977 Oct - Nov Box 28, Folder 19 Simpson 1977 Oct - 1978 Mar Box 28, Folder 20 Sinaceur 1978 Jan Box 28, Folder 21 Slisenko 1977 Apr - Oct Box 28, Folder 22 Smorynski 1977 Apr - Oct Box 28, Folder 23 Snapper 1978 Mar Box 28, Folder 24 Solovay 1977 Dec - 1978 Feb Box 28, Folder 25 Speck 1976 Sep - 1978 Feb Box 28, Folder 26 Specker 1977 Oct - Dec Box 28, Folder 27 Statman 1977 Apr - 1978 Mar Box 28, Folder 28 Stavi 1977 May - 1978 Feb Box 28, Folder 29 Stegmuller 1977 Sep - Nov Box 28, Folder 30 Suppes 1977 Apr - 1978 Mar

Guide to the Georg Kreisel Papers SC0136 8 SC0136 Correspondence

Box 28, Folder 31 Swinnerton-Dyer 1977 Oct - Nov Box 28, Folder 32 Takeuti 1977 Apr - 1978 Mar Box 28, Folder 33 Troelstra 1977 Apr - 1978 Mar Box 28, Folder 34 Van Heijenoort 1977 May - 1978 Mar Box 28, Folder 35 Vogel 1977 Dec Box 28, Folder 36 Weingarten 1976 Sep - 1978 Feb Box 28, Folder 37 Yasugi 1977 Apr - Aug Box 28, Folder 38 Yates 1977 Apr - 1978 Jan Box 28, Folder 39 Zucker 1977 Apr - 1978 Mar Box 28, Folder 40 Dittos Box 28, Folder 41 Memos Box 28, Folder 42 Lecture: "Successes and Limitations of Mathematization" given at WCP Meeting in Dusseldorf (also Includes correspondence with Bochenski Regarding Lecture) 1978 Box 28, Folder 43 Letters of Recommendation Box 29, Folder 1 Addison 1978 May - Sep Box 29, Folder 2 Agazzi 1978 Aug Box 29, Folder 3 Barendregt 1978 Mar - 1979 May Box 29, Folder 4 Barwise 1978 Apr - 1979 May Box 29, Folder 5 Beaker 1979 Jan - 1979 May Box 29, Folder 6 Benacerraf 1978 Jun - 1979 May Box 29, Folder 7 Birch 1978 Jul - Oct Box 29, Folder 8 Blair 1978 Dec Box 29, Folder 9 Borga 1979 May Box 29, Folder 10 Bouveresse 1978 Apr Box 29, Folder 11 Buchholz 1978 Apr Box 29, Folder 12 Cagnoni 1978 Jul - Sep Box 29, Folder 13 Cellucci 1978 Apr - 1979 May Box 29, Folder 14 Chomsky 1979 Feb Box 29, Folder 15 Christodoulidis 1978 Oct - Nov Box 29, Folder 16 Conceptus 1978 Mar - Nov Box 29, Folder 17 Corcoran 1978 Mar - Oct Box 29, Folder 18 Crick 1978 Mar - 1979 Apr Box 29, Folder 19 del Franco 1978 Mar - 1979 May Box 29, Folder 20 Deligne 1978 Mar - 1979 Feb Box 29, Folder 21 Engeler 1978 Apr - 1979 May Box 29, Folder 22 Ershov 1978 Sep Box 29, Folder 23 Faust 1978 Sep Box 29, Folder 24 Feferman 1978 Jul - 1979 Mar Box 29, Folder 25 Felscher 1979 May Box 29, Folder 26 Ferebee 1978 Nov Box 29, Folder 27 Floistad 1977 Nov - 1979 Apr Box 29, Folder 28 Fried 1977 Oct - 1978 Jun Box 29, Folder 29 Friedman 1978 May - 1979 Jun Box 29, Folder 30 Gauthier 1978 Oct - 1979 Jan Box 29, Folder 31 Girard 1978 Sep Box 29, Folder 32 Glushkov 1978 Sep - 1979 Jan Box 29, Folder 33 Goad 1978 Mar - 1979 Jun Box 29, Folder 34 Grabiak 1978 May - Jun Box 29, Folder 35 Griffor 1979 May Box 29, Folder 36 Guillaume 1978 Mar - Apr Box 29, Folder 37 Hajek 1978 Nov Box 29, Folder 38 Haller 1978 May - Sep Box 29, Folder 39 Harrington 1978 Apr Box 29, Folder 40 Hawkins 1978 May - 1979 May Box 29, Folder 41 Herre 1978 Jun - 1979 Feb Box 29, Folder 42 Howard 1978 Jul - 1979 Mar Box 29, Folder 43 Hubner 1978 Dec - 1979 Feb

Guide to the Georg Kreisel Papers SC0136 9 SC0136 Correspondence

Box 29, Folder 44 Hyland (including paper, "Referee's Report on the Paper 'Filter Spaces and Continuous Functionals") 1978 May - 1979 May Box 29, Folder 45 Jervell 1979 May Box 29, Folder 46 Jockusch 1978 Apr - 1979 Feb Box 29, Folder 47 Ketonen 1978 Mar - Nov Box 29, Folder 48 Kim 1978 Nov - Dec Box 29, Folder 49 Kochen 1978 Mar Box 29, Folder 50 Kreinovich 1979 Jan - Feb Box 29, Folder 51 Kuiper 1978 Jun - 1979 May Box 29, Folder 52 Kunen 1978 May - Aug Box 29, Folder 53 Lacon 1978 Aug Box 29, Folder 54 Lam 1978 Mar - Nov Box 29, Folder 55 Leinfellner 1978 Mar - Sep Box 29, Folder 56 Leivant 1979 Jan Box 29, Folder 57 Le Lionnais 1978 May Box 29, Folder 58 Lenstra 1978 Jul - 1979 Jan Box 29, Folder 59 Levy 1978 May - Nov Box 29, Folder 60 Lieberherr 1978 May Box 29, Folder 61 Lifschitz 1978 Mar - Jul Box 29, Folder 62 Lopez-Escobar 1979 Jan - Feb Box 29, Folder 63 Lorenz 1978 Oct - 1979 Jan Box 29, Folder 64 Lucas 1978 May Box 29, Folder 65 Luckhardt 1978 Mar - 1979 May Box 29, Folder 66 MacIntyre 1978 Apr - Dec Box 29, Folder 67 Makowsky 1978 Dec Box 29, Folder 68 Manson 1978 Nov Box 29, Folder 69 Marek 1978 May - 1979 Mar Box 29, Folder 70 Mints 1978 Mar - 1979 May Box 30, Folder 1 Morley 1978 Sep Box 30, Folder 2 Motchane 1978 Jun - 1979 Mar Box 30, Folder 3 Murdoch 1978 Mar - 1979 May Box 30, Folder 4 Mycielski 1978 Oct - 1979 Apr Box 30, Folder 5 Nianias 1979 Jan Box 30, Folder 6 Okada 1978 Mar - 1979 Feb Box 30, Folder 7 Parikh 1978 Jul - 1979 May Box 30, Folder 8 Perry 1978 May - Oct Box 30, Folder 9 Pohlers 1978 Apr - Sep Box 30, Folder 10 Ponziani 1978 Jun - Jul Box 30, Folder 11 Prawitz 1978 May - Sep Box 30, Folder 12 Previale 1978 Mar Box 30, Folder 13 Priky 1978 Oct Box 30, Folder 14 Quine 1978 Dec Box 30, Folder 15 Rautenberg 1978 Dec - 1979 Feb Box 30, Folder 16 Reiter 1979 May Box 30, Folder 17 Reznikoff 1979 Jan - Mar Box 30, Folder 18 Ribenboim 1978 May - 1979 Mar Box 30, Folder 19 Ringot 1978 Oct - 1979 Jan Box 30, Folder 20 Robinson 1978 May Box 30, Folder 21 Rogers 1978 Apr - Oct Box 30, Folder 22 Saarinen 1978 Jan - 1979 Feb Box 30, Folder 23 Sabbagh 1978 Apr - Oct Box 30, Folder 24 Sachs 1978 Apr - 1979 Jun Box 30, Folder 25 Schlipf 1978 Mar Box 30, Folder 26 Schmerl (including paper, "Uber eine mit Hilfe von Reflexionsformeln erzeugte Feinstruktur uber PRA - Erweiterungen") 1978 Apr Box 30, Folder 27 Schmidt 1978 Jul - 1979 May Box 30, Folder 28 Schwichtenberg 1978 Oct - 1979 May Box 30, Folder 29 Scott 1978 Mar - 1979 Jan

Guide to the Georg Kreisel Papers SC0136 10 SC0136 Correspondence

Box 30, Folder 30 Seldin 1979 Jan - Apr Box 30, Folder 31 Shepherdson 1978 May - 1979 Jan Box 30, Folder 32 Shimony 1978 May Box 30, Folder 33 Simpson 1978 Apr - 1979 Feb Box 30, Folder 34 Smale 1978 Dec Box 30, Folder 35 Smorynski 1978 Mar - 1979 May Box 30, Folder 36 Solovay 1978 May Box 30, Folder 37 Speck 1978 Apr - Jun Box 30, Folder 38 Statman 1978 Mar - 1979 Mar Box 30, Folder 39 Stavi 1978 Jul - 1978 Nov Box 30, Folder 40 Stevenson 1978 Mar - Sep Box 30, Folder 41 Stolzenberg 1978 Apr - 1979 Jun Box 31, Folder 1 Sundholm 1978 May - 1979 May Box 31, Folder 2 Suppes 1978 Mar - 1979 May Box 31, Folder 3 Takeuti 1978 Mar - 1979 May Box 31, Folder 4 Termini 1978 Mar Box 31, Folder 5 Thomas 1978 Jun - Oct Box 31, Folder 6 Troelstra 1978 Jan - 1979 Jun Box 31, Folder 7 Verena 1978 Dec - 1979 Jun Box 31, Folder 8 von Deln 1978 Aug - 1979 May Box 31, Folder 9 von Heijenoort 1978 Mar - 1979 May Box 31, Folder 10 von Wright 1978 Oct - Dec Box 31, Folder 11 Weingartner 1978 May - 1979 May Box 31, Folder 12 Wette 1978 Apr Box 31, Folder 13 Wigner 1978 Aug Box 31, Folder 14 Wojtylak 1979 May Box 31, Folder 15 Yasugi 1978 Mar - Jun Box 31, Folder 16 Yates 1978 Mar - 1979 May Box 31, Folder 17 Zinoviev 1978 Nov - 1979 Feb Box 31, Folder 18 Zucker 1978 Apr - 1979 Apr Box 31, Folder 19 Communications regarding review of Wittgenstein Book: ''Remarks on the Foundations of Mathematics" in "American Scientist'' Box 31, Folder 20 Communications regarding UNESCO meeting on Aristotelian Logic 1978-1979 Box 31, Folder 21 Dittos Box 31, Folder 22 Evaluations Box 31, Folder 23 Godel Obituary (Correspondence Regarding) Box 31, Folder 24 Letters Regarding Visit to Graz 1979 Jan - Jun Box 31, Folder 25 Hathematical Reviews Box 31, Folder 26 Royal Society Box 31, Folder 27 World Congress of Philosophy Box 31, Folder 28 Unidentified Articles Box 32, Folder 1 Aristotle Conference 1979-1980 Box 32, Folder 2 Baldwin 1979-1980 Box 32, Folder 3 Barendregt 1979-1980 Box 32, Folder 4 Barwise 1979-1980 Box 32, Folder 5 Beeson 1979-1980 Box 32, Folder 6 Bibel 1979-1980 Box 32, Folder 7 Bokser 1979-1980 Box 32, Folder 8 Boolos 1979-1980 Box 32, Folder 9 Cagnoni, Donatella - Anthology 1979-1980 Box 32, Folder 10 Cappelletti 1979-1980 Box 32, Folder 11 Cassells 1979-1980 Box 32, Folder 12 Cellucci 1979-1980 Box 32, Folder 13 Corcoran 1979-1980 Box 32, Folder 14 Crick 1979-1980 Box 32, Folder 15 Culmer 1979-1980 Box 32, Folder 16 Daykin 1979-1980 Box 32, Folder 17 del Franco 1979-1980

Guide to the Georg Kreisel Papers SC0136 11 SC0136 Correspondence

Box 32, Folder 18 de Ligne 1979-1980 Box 32, Folder 19 Delzell 1979-1980 Box 32, Folder 20 Dragolin 1979-1980 Box 32, Folder 21 Dreben 1979-1980 Box 32, Folder 22 Dyson, Verena 1979-1980 Box 32, Folder 23 Engeler 1979-1980 Box 32, Folder 24 Ershov, Andrei 1979-1980 Box 32, Folder 25 Ershov, Y. L. 1979-1980 Box 32, Folder 26 Feferman 1979-1980 Box 32, Folder 27 Felscher 1979-1980 Box 32, Folder 28 Ferrabee 1979-1980 Box 32, Folder 29 Friedman 1979-1980 Box 32, Folder 30 Gandy 1979-1980 Box 32, Folder 31 Girard 1979-1980 Box 32, Folder 32 Goad 1979-1980 Box 32, Folder 33 Godel Obituary 1979-1980 Box 32, Folder 34 Godel Obituary (Rudolf Godel) 1979-1980 Box 32, Folder 35 Gordeev 1979-1980 Box 32, Folder 36 Graz, Austria 1979-1980 Box 32, Folder 37 Hacking 1979-1980 Box 32, Folder 38 Harrington 1979-1980 Box 32, Folder 39 Herre 1979-1980 Box 32, Folder 40 Hlawka 1979-1980 Box 32, Folder 41 Hyland 1979-1980 Box 32, Folder 42 Jaeger 1979-1980 Box 32, Folder 43 Jost 1979-1980 Box 32, Folder 44 Kaufmann-Buhler 1979-1980 Box 32, Folder 45 Ketonen 1979-1980 Box 32, Folder 46 Kuiper, Nicolaas 1979-1980 Box 32, Folder 47 Lacan 1979-1980 Box 32, Folder 48 Lam 1979-1980 Box 32, Folder 49 Lenstra 1979-1980 Box 32, Folder 50 Lifschitz 1979-1980 Box 32, Folder 51 Lopez-Escobar 1979-1980 Box 32, Folder 52 Luckhardt 1979-1980 Box 32, Folder 53 MacIntyre, Angus 1979-1980 Box 32, Folder 54 Madman 1979-1980 Box 32, Folder 55 Martin-Lof 1979-1980 Box 32, Folder 56 Mazur 1979-1980 Box 32, Folder 57 Mints 1979-1980 Box 32, Folder 58 Motchane 1979-1980 Box 32, Folder 59 Murdoch, Iris 1979-1980 Box 32, Folder 60 Mycielski 1979-1980 Box 32, Folder 61 Nedo 1979-1980 Box 32, Folder 62 Nepeivode 1979-1980 Box 32, Folder 63 Nerodi 1979-1980 Box 33, Folder 1 Odifreddi 1979-1980 Box 33, Folder 2 Parikh 1979-1980 Box 33, Folder 3 Penrose 1979-1980 Box 33, Folder 4 Pohlers 1979-1980 Box 33, Folder 5 Pour-El 1979-1980 Box 33, Folder 6 Prawitz 1979-1980 Box 33, Folder 7 Prestle 1979-1980 Box 33, Folder 8 Rautenberg 1979-1980 Box 33, Folder 9 Reznikoff 1979-1980 Box 33, Folder 10 Riebenboim 1979-1980 Box 33, Folder 11 Robinson, Renee 1979-1980 Box 33, Folder 12 Rogers 1979-1980

Guide to the Georg Kreisel Papers SC0136 12 SC0136 Correspondence

Box 33, Folder 13 Roquette 1979-1980 Box 33, Folder 14 Royal Society 1979-1980 Box 33, Folder 15 Sabbagh 1979-1980 Box 33, Folder 16 Sachs 1979-1980 Box 33, Folder 17 Schein 1979-1980 Box 33, Folder 18 Schmerl 1979-1980 Box 33, Folder 19 Schmidt 1979-1980 Box 33, Folder 20 Schwichtenberg 1979-1980 Box 33, Folder 21 Scott 1979-1980 Box 33, Folder 22 Shepherdson 1979-1980 Box 33, Folder 23 Simpson 1979-1980 Box 33, Folder 24 Sinaceur 1979-1980 Box 33, Folder 25 Smorynski 1979-1980 Box 33, Folder 26 Solavay 1979-1980 Box 33, Folder 27 Speck 1979-1980 Box 33, Folder 28 Specker 1979-1980 Box 33, Folder 29 Statman 1979-1980 Box 33, Folder 30 Stavi 1979-1980 Box 33, Folder 31 Stepanov 1979-1980 Box 33, Folder 32 Stone 1979-1980 Box 33, Folder 33 Strauss 1979-1980 Box 33, Folder 34 Sundholm 1979-1980 Box 33, Folder 35 Suppes 1979-1980 Box 33, Folder 36 Takeuti 1979-1980 Box 34, Folder 1 Alusio 1979 Jul - 1980 May Box 34, Folder 2 American Scientist 1979 Jul - 1980 May Box 34, Folder 3 Aristotle 1979 Jul - 1980 May Box 34, Folder 4 Bandgert 1979 Jul - 1980 May Box 34, Folder 5 Cellucci 1979 Jul - 1980 May Box 34, Folder 6 Christman 1979 Jul - 1980 May Box 34, Folder 7 Crick 1979 Jul - 1980 May Box 34, Folder 8 Crossley 1979 Jul - 1980 May Box 34, Folder 9 del Franco 1979 Jul - 1980 May Box 34, Folder 10 Delzell 1979 Jul - 1980 May Box 34, Folder 11 Engeler 1979 Jul - 1980 May Box 34, Folder 12 Friedman, H. 1979 Jul - 1980 May Box 34, Folder 13 Girard 1979 Jul - 1980 May Box 34, Folder 14 Graz 1979 Jul - 1980 May Box 34, Folder 15 Guillaume 1979 Jul - 1980 May Box 34, Folder 16 Hirzbruche 1979 Jul - 1980 May Box 34, Folder 17 Hlawka 1979 Jul - 1980 May Box 34, Folder 18 Jaeger 1979 Jul - 1980 May Box 34, Folder 19 Jost 1979 Jul - 1980 May Box 34, Folder 20 Kingman 1979 Jul - 1980 May Box 34, Folder 21 Kuiper 1979 Jul - 1980 May Box 34, Folder 22 L-E 1979 Jul - 1980 May Box 34, Folder 23 Luckhardt 1979 Jul - 1980 May Box 34, Folder 24 Madman 1979 Jul - 1980 May Box 34, Folder 25 Mazur 1979 Jul - 1980 May Box 34, Folder 26 Hints 1979 Jul - 1980 May Box 34, Folder 27 Olifreddi 1979 Jul - 1980 May Box 34, Folder 28 Prawitz 1979 Jul - 1980 May Box 34, Folder 29 Sabbagh 1979 Jul - 1980 May Box 34, Folder 30 Sacks 1979 Jul - 1980 May Box 34, Folder 31 Schein 1979 Jul - 1980 May Box 34, Folder 32 Schudenberg 1979 Jul - 1980 May Box 34, Folder 33 Scott 1979 Jul - 1980 May Box 34, Folder 34 Simpson 1979 Jul - 1980 May

Guide to the Georg Kreisel Papers SC0136 13 SC0136 Correspondence

Box 34, Folder 35 Statman 1979 Jul - 1980 May Box 34, Folder 36 Suppes 1979 Jul - 1980 May Box 34, Folder 37 Takeuti 1979 Jul - 1980 May Box 34, Folder 38 Toelstra 1979 Jul - 1980 May Box 34, Folder 39 Tosie 1979 Jul - 1980 May Box 34, Folder 40 Vail 1979 Jul - 1980 May Box 34, Folder 41 Van Heijnoort 1979 Jul - 1980 May Box 34, Folder 42 Vogel 1979 Jul - 1980 May Box 34, Folder 43 Weingartner 1979 Jul - 1980 May Box 34, Folder 44 Wojtylak 1979 Jul - 1980 May Box 34, Folder 45 Zinciviev 1979 Jul - 1980 May Box 34, Folder 46 Zucker 1979 Jul - 1980 May Box 34, Folder 47 Evaluating 1979 Jul - 1980 May Box 34, Folder 48 Evaluation-Delzell 1979 Jul - 1980 May Box 34, Folder 49 Lecture two texts 1979 Jul - 1980 May Box 34, Folder 50 Proof theory 1979 Jul - 1980 May Box 34, Folder 51 Publications 1979 Jul - 1980 May Box 34, Folder 52 Use of lectures 1979 Jul - 1980 May Box 35, Folder 1 Aershov 1980 Jun - 1981 Mar Box 35, Folder 2 Barendregt 1980 Jun - 1981 Mar Box 35, Folder 3 Beeson 1980 Jun - 1981 Mar Box 35, Folder 4 Bibel 1980 Jun - 1981 Mar Box 35, Folder 5 Cassel 1980 Jun - 1981 Mar Box 35, Folder 6 Cellucci 1980 Jun - 1981 Mar Box 35, Folder 7 Coates 1980 Jun - 1981 Mar Box 35, Folder 8 Crick 1980 Jun - 1981 Mar Box 35, Folder 9 Crossley 1980 Jun - 1981 Mar Box 35, Folder 10 Diesen 1980 Jun - 1981 Mar Box 35, Folder 11 del Franco 1980 Jun - 1981 Mar Box 35, Folder 12 Deligne 1980 Jun - 1981 Mar Box 35, Folder 13 Delzell 1980 Jun - 1981 Mar Box 35, Folder 14 Dummat 1980 Jun - 1981 Mar Box 35, Folder 15 Engeler 1980 Jun - 1981 Mar Box 35, Folder 16 Eishov, Y. L. 1980 Jun - 1981 Mar Box 35, Folder 17 Friedman 1980 Jun - 1981 Mar Box 35, Folder 18 Frolich 1980 Jun - 1981 Mar Box 35, Folder 19 Girard 1980 Jun - 1981 Mar Box 35, Folder 20 Goad 1980 Jun - 1981 Mar Box 35, Folder 21 Graham 1980 Jun - 1981 Mar Box 35, Folder 22 Guillaume 1980 Jun - 1981 Mar Box 35, Folder 23 Haller 1980 Jun - 1981 Mar Box 35, Folder 24 Hasenjager 1980 Jun - 1981 Mar Box 35, Folder 25 Hirzebruch 1980 Jun - 1981 Mar Box 35, Folder 26 Hlawka 1980 Jun - 1981 Mar Box 35, Folder 27 Howard 1980 Jun - 1981 Mar Box 35, Folder 28 Hyland 1980 Jun - 1981 Mar Box 35, Folder 29 Iris Murdoch 1980 Jun - 1981 Mar Box 35, Folder 30 Jacquch 1980 Jun - 1981 Mar Box 35, Folder 31 Jaeger 1980 Jun - 1981 Mar Box 35, Folder 32 Jensen 1980 Jun - 1981 Mar Box 35, Folder 33 Jones 1980 Jun - 1981 Mar Box 35, Folder 34 Jost 1980 Jun - 1981 Mar Box 35, Folder 35 Ketonen 1980 Jun - 1981 Mar Box 35, Folder 36 Kleene 1980 Jun - 1981 Mar Box 35, Folder 37 Kock 1980 Jun - 1981 Mar Box 35, Folder 38 Krause 1980 Jun - 1981 Mar Box 35, Folder 39 Lacan 1980 Jun - 1981 Mar Box 35, Folder 40 Leivant 1980 Jun - 1981 Mar

Guide to the Georg Kreisel Papers SC0136 14 SC0136 Correspondence

Box 35, Folder 41 Lenstra 1980 Jun - 1981 Mar Box 35, Folder 42 Levy 1980 Jun - 1981 Mar Box 35, Folder 43 Lifschitz 1980 Jun - 1981 Mar Box 35, Folder 44 Lopez-Escobar 1980 Jun - 1981 Mar Box 35, Folder 45 Luckhardt 1980 Jun - 1981 Mar Box 35, Folder 46 MacIntyre 1980 Jun - 1981 Mar Box 35, Folder 47 MacLane 1980 Jun - 1981 Mar Box 35, Folder 48 Madman 1980 Jun - 1981 Mar Box 35, Folder 49 Makovsky 1980 Jun - 1981 Mar Box 35, Folder 50 Marek 1980 Jun - 1981 Mar Box 35, Folder 51 Mazur 1980 Jun - 1981 Mar Box 35, Folder 52 Meyer 1980 Jun - 1981 Mar Box 35, Folder 53 Mints 1980 Jun - 1981 Mar Box 35, Folder 54 Mittelstaedt 1980 Jun - 1981 Mar Box 35, Folder 55 Morscher 1980 Jun - 1981 Mar Box 35, Folder 56 Mundici 1980 Jun - 1981 Mar Box 35, Folder 57 Murdoch, Iris 1980 Jun - 1981 Mar Box 36, Folder 1 Odifreddi 1980 Jun - 1981 Mar Box 36, Folder 2 Piatelli 1980 Jun - 1981 Mar Box 36, Folder 3 Pourel 1980 Jun - 1981 Mar Box 36, Folder 4 Prawitz 1980 Jun - 1981 Mar Box 36, Folder 5 Prestel 1980 Jun - 1981 Mar Box 36, Folder 6 Rabin 1980 Jun - 1981 Mar Box 36, Folder 7 Riebenboim 1980 Jun - 1981 Mar Box 36, Folder 8 Royal Society 1980 Jun - 1981 Mar Box 36, Folder 9 Sabbagh 1980 Jun - 1981 Mar Box 36, Folder 10 Sacks 1980 Jun - 1981 Mar Box 36, Folder 11 Schein 1980 Jun - 1981 Mar Box 36, Folder 12 Schimanovic 1980 Jun - 1981 Mar Box 36, Folder 13 Schmerl 1980 Jun - 1981 Mar Box 36, Folder 14 Schwichtenberg 1980 Jun - 1981 Mar Box 36, Folder 15 (Dana) Scott 1980 Jun - 1981 Mar Box 36, Folder 16 (Philip) Scott 1980 Jun - 1981 Mar Box 36, Folder 17 Sheperdson 1980 Jun - 1981 Mar Box 36, Folder 18 Simpson 1980 Jun - 1981 Mar Box 36, Folder 19 Sinaceur 1980 Jun - 1981 Mar Box 36, Folder 20 Smith 1980 Jun - 1981 Mar Box 36, Folder 21 Smorynski 1980 Jun - 1981 Mar Box 36, Folder 22 Solovay 1980 Jun - 1981 Mar Box 36, Folder 23 Speck 1980 Jun - 1981 Mar Box 36, Folder 24 Specker 1980 Jun - 1981 Mar Box 36, Folder 25 Statman 1980 Jun - 1981 Mar Box 36, Folder 26 Stcpanov 1980 Jun - 1981 Mar Box 36, Folder 27 Sundholm 1980 Jun - 1981 Mar Box 36, Folder 28 Suppes 1980 Jun - 1981 Mar Box 36, Folder 29 Takeuti 1980 Jun - 1981 Mar Box 36, Folder 30 Toelstra 1980 Jun - 1981 Mar Box 36, Folder 31 Van den Dries 1980 Jun - 1981 Mar Box 36, Folder 32 Van Heijnoort 1980 Jun - 1981 Mar Box 36, Folder 33 Weingartner 1980 Jun - 1981 Mar Box 36, Folder 34 Witt 1980 Jun - 1981 Mar Box 36, Folder 35 Winternitz 1980 Jun - 1981 Mar Box 36, Folder 36 Wojtylak 1980 Jun - 1981 Mar Box 36, Folder 37 Zucker 1980 Jun - 1981 Mar Box 36, Folder 38 American Scientist Review 1980 Jun - 1981 Mar Box 36, Folder 39 First Versions Unpublished Papers 1980 Jun - 1981 Mar Box 36, Folder 40 Letters of Evaluation 1980 Jun - 1981 Mar Box 36, Folder 41 Letters of recommendation 1980 Jun - 1981 Mar

Guide to the Georg Kreisel Papers SC0136 15 SC0136 Correspondence

Box 36, Folder 42 Publications-Draft of Publications 1980 Jun - 1981 Mar Box 36, Folder 43 Unpublished Lectures 1980 Jun - 1981 Mar Box 36, Folder 44 Unpublished Notes 1980 Jun - 1981 Mar Box 37, Folder 1 Barendregt Box 37, Folder 2 Cellucci Box 37, Folder 3 Chreneau Box 37, Folder 4 Crick Box 37, Folder 5 Dawson Box 37, Folder 6 del Franco Box 37, Folder 7 Delzell Box 37, Folder 8 Dyson Box 37, Folder 9 Feferman Box 37, Folder 10 Friedman Box 37, Folder 11 Friedrich Box 37, Folder 12 Girard Box 37, Folder 13 Goldfarb Box 37, Folder 14 Guillaume Box 37, Folder 15 Haller Box 37, Folder 16 Halmos Box 37, Folder 17 Howard Box 37, Folder 18 Jost Box 37, Folder 19 Kaufman-Buhler Box 37, Folder 20 Krause Box 37, Folder 21 Kuiper Box 37, Folder 22 Lambek Box 37, Folder 23 Lopez-Escobar Box 37, Folder 24 Luckhardt Box 37, Folder 25 MacIntyre Box 37, Folder 26 Madman Box 37, Folder 27 Makinson Box 37, Folder 28 Mints Box 37, Folder 29 Morley Box 37, Folder 30 Morscher Box 37, Folder 31 Murdoch Box 37, Folder 32 Parikh Box 37, Folder 33 Peters Box 37, Folder 34 Prawitz Box 37, Folder 35 Robinson Box 37, Folder 36 Royal Society Box 37, Folder 37 Sabbagh Box 37, Folder 38 Schmetterer Box 37, Folder 39 Schwichtenberg Box 37, Folder 40 Scott, Dana Box 37, Folder 41 Simpson Box 37, Folder 42 Smith Box 37, Folder 43 Speck Box 37, Folder 44 Spencer Box 37, Folder 45 Statman Box 37, Folder 46 Stepanou Box 37, Folder 47 Suppes Box 37, Folder 48 Takeuti Box 37, Folder 49 Toelstra Box 37, Folder 50 Van Dahlen Box 37, Folder 51 Van den Dries Box 37, Folder 52 Van Heijnoort Box 37, Folder 53 Wilkie Box 37, Folder 54 Wojtylak Box 37, Folder 55 Zilber

Guide to the Georg Kreisel Papers SC0136 16 SC0136 Correspondence

Box 37, Folder 56 Zucker Box 37, Folder 57 Letters of Evaluation Box 37, Folder 58 Unpublished Notes Box 38, Folder 1 Adams Box 38, Folder 2 Aristotle Box 38, Folder 3 Barendregt Box 38, Folder 4 Burgess Box 38, Folder 5 Cassel Box 38, Folder 6 Cellucci Box 38, Folder 7 Cilber Box 38, Folder 8 Coates Box 38, Folder 9 Cooper Box 38, Folder 10 Crick Box 38, Folder 11 del Franco Box 38, Folder 12 Deligne Box 38, Folder 13 Delzell Box 38, Folder 14 Engeler Box 38, Folder 15 Ershou Box 38, Folder 16 Evaluation Box 38, Folder 17 Feferman Box 38, Folder 18 Fens tad Box 38, Folder 19 Friedman Box 38, Folder 20 Girard Box 38, Folder 21 Goad Box 38, Folder 22 Guillarme Box 38, Folder 23 Howard Box 38, Folder 24 Hylend Box 38, Folder 25 International Congress of Mathematicians 1982 Box 38, Folder 26 Jock Box 38, Folder 27 Jost Box 38, Folder 28 Kaufmann-Buhler Box 38, Folder 29 Keisler Box 38, Folder 30 Kleene Box 38, Folder 31 Kuiper Box 38, Folder 32 Lacan Box 38, Folder 33 Lopez-Escobar Box 38, Folder 34 Luckhardt Box 38, Folder 35 McIntyre Box 38, Folder 36 Madmen Box 38, Folder 37 Mazer Box 39, Folder 1 Mintz Box 39, Folder 2 Mitter Strass Box 39, Folder 3 Morscher Box 39, Folder 4 Murdoch Box 39, Folder 5 Mycielski Box 39, Folder 6 Myhill Box 39, Folder 7 Nedo Box 39, Folder 8 Perry Box 39, Folder 9 Peters Box 39, Folder 10 Piattell-Palmarina Box 39, Folder 11 Pour-El Box 39, Folder 12 Prawitz Box 39, Folder 13 Prestell Box 39, Folder 14 Royal Society Box 39, Folder 15 Sabbagh Box 39, Folder 16 Sacks Box 39, Folder 17 Schutte Box 39, Folder 18 Schwichtenberg

Guide to the Georg Kreisel Papers SC0136 17 SC0136 Correspondence

Box 39, Folder 19 Scott Box 39, Folder 20 Simpson Box 39, Folder 21 Smith Box 39, Folder 22 Smithies Box 39, Folder 23 Smorynski Box 39, Folder 24 Statman Box 39, Folder 25 Sumdholm Box 39, Folder 26 Suppes Box 39, Folder 27 Takeuti Box 39, Folder 28 Troelstra Box 39, Folder 29 Van Dalon Box 39, Folder 30 Van den Dries Box 39, Folder 31 Van Heij enoort Box 39, Folder 32 Weingartner Box 39, Folder 33 Wilkie Box 39, Folder 34 Wojtylak Box 39, Folder 35 Zassenhaus Box 39, Folder 36 Zucker Box 40, Folder 1 Anellis, Irving H. 1982 Box 40, Folder 2 Arnon, Dennis 1982 Box 40, Folder 3 Baker, Alan 1981-1982 Box 40, Folder 4 Barendregt, H. 1981-1982 Box 40, Folder 5 Bellin 1982 Box 40, Folder 6 Buff, H.W. 1982 Box 40, Folder 7 Cassels, J.W.S. 1982 Box 40, Folder 8 Cellucci, C. 1981-1982 Box 40, Folder 9 Craig, William 1981-1982 Box 40, Folder 10 Daykin 1981 Box 40, Folder 11 del Franco 1981-1982 Box 40, Folder 12 Deligne 1982 Box 40, Folder 13 Delzell, Charles 1981-1982 Box 40, Folder 14 Enderton, Herbert B. 1982 Box 40, Folder 15 Engeler, E. 1981-1982 Box 40, Folder 16 Epstein, Richard L. 1981-1982 Box 40, Folder 17 Ershov 1981 Box 40, Folder 18 Feferman, Sol 1982 Box 40, Folder 19 Friedman, Harvey 1982 Box 40, Folder 20 Girard, Jean-Yves 1982 Box 40, Folder 21 Herre 1981 Box 40, Folder 22 Hintikka, Jaakko 1981-1982 Box 40, Folder 23 Howard, William A. 1981-1982 Box 40, Folder 24 Hsia, J.S. 1982 Box 40, Folder 25 Kaufmann-Buhler 1981-1982 Box 40, Folder 26 Keister 1982 Box 40, Folder 27 Krause, Ralph M. 1981-1982 Box 40, Folder 28 Lenstra 1982 Box 40, Folder 29 Lopez-Escobar 1982 Box 40, Folder 30 Luckhardt, H. 1982 Box 40, Folder 31 MacIntyre, Angus 1981-1982 Box 40, Folder 32 MacIntyre, Angus 1982 Box 40, Folder 33 Madison, Gene 1982 Box 40, Folder 34 Mate, Attila 1982 Box 40, Folder 35 Mathias, Adrian 1982 Box 40, Folder 36 Mints 1981-1982 Box 40, Folder 37 Moore, Gregory 1982 Box 40, Folder 38 Morscher 1982 Box 40, Folder 39 Murdoch, Iris 1981-1982 Box 40, Folder 40 Mycielski, Jan 1982

Guide to the Georg Kreisel Papers SC0136 18 SC0136 Correspondence

Box 40, Folder 41 Nedo 1982 Box 40, Folder 42 Peters, Klaus 1981-1982 Box 40, Folder 43 Piatelli-Palmarini 1982 Box 40, Folder 44 Poland, William 1981 Box 40, Folder 45 Pour-El 1981 Box 40, Folder 46 Prestel 1982 Box 40, Folder 47 Sabbagh 1982 Box 40, Folder 48 Scedrov, Andrej 1982 Box 40, Folder 49 Schmerl 1982 Box 40, Folder 50 Schwichtenberg 1982 Box 40, Folder 51 Scott, Dana 1982 Box 40, Folder 52 Scott, Philip 1981 Box 40, Folder 53 Shapiro, Stewart 1982 Box 40, Folder 54 Sheperdson, J.C. 1982 Box 40, Folder 55 Shore, Richard A. 1982 Box 40, Folder 56 Sinaceur, Hourya 1981-1982 Box 40, Folder 57 Smith, Rick 1982 Box 40, Folder 58 Smorynski 1982 Box 40, Folder 59 Statman, Richard 1981-1982 Box 40, Folder 60 Stavi 1982 Box 40, Folder 61 Stern, Jacques 1981-1982 Box 40, Folder 62 Sundholm, G. 1982 Box 40, Folder 63 Suppes, Patrick 1981 Box 41, Folder 1 Takeuti, G. 1981-1982 Box 41, Folder 2 Troelstra, A.S. 1981-1982 Box 41, Folder 3 Van Benthem 1982 Box 41, Folder 4 Van den Dries 1982 Box 41, Folder 5 Van den Hoesen, Gerrit 1982 Box 41, Folder 6 Van Heijenoort 1982 Box 41, Folder 7 Weingartner, Paul 1981-1982 Box 41, Folder 8 Wilkie 1981 Box 41, Folder 9 Wojcicki, Ryszard 1981-1982 Box 41, Folder 10 Wojtylak, P. 1982 Box 41, Folder 11 Wu, Wen-Tsin 1982 Box 41, Folder 12 Yasugi, Mariko 1981 Box 41, Folder 13 Zassenhaus 1981-1982 Box 41, Folder 14 Early Drafts Box 41, Folder 15 Evaluations Box 41, Folder 16 Evaluations Box 41, Folder 17 Godel Obituary (Correspondence with John Dawson) 1981-1982 Box 41, Folder 18 Godel Obituary (Correspondence with Stephen Kleene) 1981-1982 Box 41, Folder 19 Godel Obituary (Correspondence with the staff of the Royal Society) 1981-1982 Box 41, Folder 20 Institute for Advanced Study 1981-1982 Box 41, Folder 21 Madmen 1982 Box 41, Folder 22 Royal Society 1982 Box 41, Folder 23 Unpublished Lectures Box 41, Folder 24 Unpublished Seminar Notes Box 42, Folder 1 Adams 1982 Dec - 1983 Jan Box 42, Folder 2 Anellis 1982 Jun - 1983 Jan Box 42, Folder 3 Baez 1982 Jun - Dec Box 42, Folder 4 Baker 1982 Jun - Nov Box 42, Folder 5 Benacerraf 1982 Jun - Nov Box 42, Folder 6 Berlin 1982 Nov Box 42, Folder 7 Brunner 1982 Sep - Nov Box 42, Folder 8 Casari 1982 Oct Box 42, Folder 9 Cassels 1982 Jun - Nov Box 42, Folder 10 Cellucci 1982 Sep - Nov Box 42, Folder 11 Coates 1982 Oct - Nov

Guide to the Georg Kreisel Papers SC0136 19 SC0136 Correspondence

Box 42, Folder 12 Crabbe Box 42, Folder 13 Crick 1982 Jul - 1983 Jan Box 42, Folder 14 Culik 1982 Dec - 1983 Jan Box 42, Folder 15 Dawson 1982 Jun - Nov Box 42, Folder 16 del Franco 1982 Jul - 1983 Jan Box 42, Folder 17 Deligne 1982 Nov Box 42, Folder 18 Delzell 1982 May - 1983 Jan Box 42, Folder 19 Dumett 1982 Dec Box 42, Folder 20 Engeler 1982 Jul - Dec Box 42, Folder 21 Ershov 1982 Nov Box 42, Folder 22 Feferman 1982 Dec Box 42, Folder 23 Friedman 1982 Nov Box 42, Folder 24 Girard 1982 Jun - Nov Box 42, Folder 25 Godel 1982 Sep - Dec Box 42, Folder 26 Guad 1982 Jul -Nov Box 42, Folder 27 Gurevich 1982 Dec - 1983 Jan Box 42, Folder 28 Hintikka 1982 Aug Box 42, Folder 29 Hlawka 1982 Jun - Nov Box 42, Folder 30 Howard 1982 Jun - Dec Box 42, Folder 31 Hubner 1982 Jul - Aug Box 42, Folder 32 Hyland 1982 Jun - Dec Box 42, Folder 33 Jockusch 1982 Jul Box 42, Folder 34 Kalman 1978 Apr - Dec Box 42, Folder 35 Kleene 1982 Aug - Dec Box 42, Folder 36 Krause 1982 Dec Box 42, Folder 37 Kuiper 1982 Aug - Nov Box 42, Folder 38 Lenstra 1982 May - Nov Box 42, Folder 39 Longo 1982 Nov Box 42, Folder 40 Lopez-Escobar 1982 Oct - 1983 Jan Box 42, Folder 41 Luckhardt 1982 Jun - 1983 Jan Box 42, Folder 42 MacIntyre 1982 Jun - 1983 Jan Box 42, Folder 43 Mason 1982 Nov Box 42, Folder 44 Mate 1982 Jun Box 42, Folder 45 Mazur 1983 Jan Box 42, Folder 46 Mellis 1982 Sep - Oct Box 42, Folder 47 Miller 1982 Jul - Sep Box 42, Folder 48 Mints 1982 Nov - 1983 Jan Box 42, Folder 49 Mittelstrass 1982 Jul - Sep Box 42, Folder 50 Morscher 1982 Jul Box 42, Folder 51 Murdoch 1982 Jun - Dec Box 43, Folder 1 Nedo 1982 Oct - Dec Box 43, Folder 2 Perry 1982 Jun - Jul Box 43, Folder 3 Peters 1982 Aug - Dec Box 43, Folder 4 Piatelli-Palmarini 1982 Jul - Dec Box 43, Folder 5 Popham 1982 Aug Box 43, Folder 6 Pravitz 1982 Sep - Nov Box 43, Folder 7 Prestel 1982 Nov Box 43, Folder 8 Renardel 1982 Oct - Dec Box 43, Folder 9 Rodenberg 1982 Oct Box 43, Folder 10 Sachs 1982 Dec Box 43, Folder 11 Salecker 1983 Jan Box 43, Folder 12 Schimanovich 1982 Aug - Oct Box 43, Folder 13 Schmerl 1982 Jun Box 43, Folder 14 Schmetterer 1982 Nov - Dec Box 43, Folder 15 Schwichtenberg 1982 Jun - Dec Box 43, Folder 16 Scott 1982 Jun - Dec Box 43, Folder 17 Shiner 1982 Mar - Nov Box 43, Folder 18 Sinaceur 1982 Oct - Nov

Guide to the Georg Kreisel Papers SC0136 20 SC0136 Correspondence

Box 43, Folder 19 Stavi 1982 Oct Box 43, Folder 20 Stepanov 1982 Nov Box 43, Folder 21 Sundholm 1982 Oct Box 43, Folder 22 Takeuti 1982 Jun - 1983 Jan Box 43, Folder 23 Taussky-Todd 1982 Oct - Dec Box 43, Folder 24 Tijdeman 1982 Nov Box 43, Folder 25 Troelstra 1982 Jun - 1983 Jan Box 43, Folder 26 Van den Dries 1982 Jun - Nov Box 43, Folder 27 Van Heijenoort 1982 Jun - Nov Box 43, Folder 28 Wainer 1982 Nov Box 43, Folder 29 Weibel 1982 Aug - 1983 Dec Box 43, Folder 30 Weingartner 1982 Jun - Dec Box 43, Folder 31 Wilkie 1982 Sep - Nov Box 43, Folder 32 Wojcicki 1982 Aug - Nov Box 43, Folder 33 Wojtylak 1982 Aug - Nov Box 43, Folder 34 Zucker 1982 Sep Box 43, Folder 35 Early Drafts 1983 Jan Box 43, Folder 36 Evaluation (J. Owings) 1982 Oct Box 43, Folder 37 Godel Obituary (Correspondence Regarding) 1982 Sep - Oct Box 43, Folder 38 Lecture Notes 1982 Oct Box 43, Folder 39 Lecture (Unpublished): "Grundlagen der Mathematik'' Box 43, Folder 40 Letters of Recommendation 1982 Feb - Nov Box 43, Folder 41 Memos 1982 Dec Box 43, Folder 42 Correspondence with "Odd People" 1982 Feb - Nov Box 43, Folder 43 Royal Society 1982 Oct - Nov Box 44, Folder 1 Anellis 1983 Jan - Apr Box 44, Folder 2 Arnon 1983 Jan Box 44, Folder 3 Baoz 1983 Apr Box 44, Folder 4 Barendregt 1983 Feb Box 44, Folder 5 Beeson 1983 Feb - Mar Box 44, Folder 6 Benacerraf 1983 Mar Box 44, Folder 7 Berlin 1982 Dec - 1983 Mar Box 44, Folder 8 Cassels 1983 Jan Box 44, Folder 9 Cellucci 1983 Feb - Apr Box 44, Folder 10 Culik 1983 Jan - Mar Box 44, Folder 11 Dawson 1983 Apr Box 44, Folder 12 del Franco 1983 Feb - Apr Box 44, Folder 13 Deligne 1983 Mar Box 44, Folder 14 Pelzell 1983 Mar Box 44, Folder 15 Dummet 1983 Feb Box 44, Folder 16 Engeler 1983 Mar - Apr Box 44, Folder 17 Ershov Box 44, Folder 18 Feferman 1983 Apr Box 44, Folder 19 Girard 1983 Mar Box 44, Folder 20 Godel 1983 Apr Box 44, Folder 21 Gurevich 1983 Jan Box 44, Folder 22 Hlawka 1983 Feb Box 44, Folder 23 Howard 1983 Jan - Mar Box 44, Folder 24 Jost 1983 Apr Box 44, Folder 25 Klcene 1983 Mar - Apr Box 44, Folder 26 Kuiper 1983 Feb Box 44, Folder 27 Lenstra 1983 Feb Box 44, Folder 28 Longo 1983 Mar Box 44, Folder 29 Lopez-Escobar 1983 Feb - Mar Box 44, Folder 30 Luckhardt 1983 Feb - Apr Box 44, Folder 31 MacIntyre 1983 Jan - Apr Box 44, Folder 32 Mass 1983 Jan Box 44, Folder 33 Mazur

Guide to the Georg Kreisel Papers SC0136 21 SC0136 Correspondence

Box 44, Folder 34 Mints 1983 Mar - Apr Box 44, Folder 35 Mondrijk 1983 Mar Box 44, Folder 36 Murdoch 1983 Apr Box 44, Folder 37 Nelson 1983 Mar Box 44, Folder 38 Peters 1983 Mar - Apr Box 44, Folder 39 Piatelli-Palmarini 1983 Jan Box 44, Folder 40 Popper 1983 Feb - Mar Box 44, Folder 41 Pour-El 1983 Mar Box 44, Folder 42 Prasad 1983 Feb - Mar Box 44, Folder 43 Robinson 1983 Jan Box 44, Folder 44 Sacks Box 44, Folder 45 Saledor 1983 Mar Box 44, Folder 46 Schmitterer 1983 Mar Box 44, Folder 47 Schraeder-Heister 1983 Feb Box 44, Folder 48 Schwichtenberg 1983 Feb - Apr Box 44, Folder 49 Scott 1983 Mar - Apr Box 44, Folder 50 Shepherdson 1983 Apr Box 44, Folder 51 Shiner 1983 Mar Box 44, Folder 52 Statma 1983 Feb - Mar Box 44, Folder 53 Stavi 1983 Feb - Mar Box 44, Folder 54 Takeuti 1983 Feb - Apr Box 44, Folder 55 Taussky-Todd 1983 Feb - Apr Box 44, Folder 56 Terlouw Box 44, Folder 57 Troelstra 1983 Jan - Apr Box 44, Folder 58 Van den Dries 1983 Mar Box 44, Folder 59 Van Heijenoort Box 44, Folder 60 Wainer 1983 Box 44, Folder 61 Weibel 1983 Apr Box 44, Folder 62 Weingartner 1983 Feb - Apr Box 44, Folder 63 Wojtylak 1983 Feb - Apr Box 44, Folder 64 Essays and Drafts, no dates Box 44, Folder 65 Evaluations Box 44, Folder 66 Lecture Notes 1983 Feb Box 44, Folder 67 Correspondence with "Mad Persons" Box 44, Folder 68 Royal Society 1983 Box 44, Folder 69 UNESCO Meeting on Artistotelian Logic (Letters Regarding) Box 45, Folder 1 Godel Papers from the Hinisterium fur Innere und Kulturelle Angelegenheiten (Republik Osterreich, Osterreichisches Staatsarchiv) Box 45, Folder 2 Correspondence Between Godel and his Mother Box 45, Folder 3 Godel Paper: "Generalized Continuum Hypotheses" Box 45, Folder 4 Biographical Sketches of Godel Box 45, Folder 5 Godel's Proof of the Existence of God Box 45, Folder 6 Comments from Godel's Dissertation Committee Box 46, Folder 1 Almog 1983-1984 Box 46, Folder 2 Anellis 1983-1984 Box 46, Folder 3 Baaz 1983-1984 Box 46, Folder 4 Bellin 1983-1984 Box 46, Folder 5 Bethke 1983-1984 Box 46, Folder 6 Burge 1983-1984 Box 46, Folder 7 Burgess 1983-1984 Box 46, Folder 8 Cassel 1983-1984 Box 46, Folder 9 Cellucci 1983-1984 Box 46, Folder 10 Dawson 1983-1984 Box 46, Folder 11 Davis 1983-1984 Box 46, Folder 12 del Franco 1983-1984 Box 46, Folder 13 del Franco 1983-1984 Box 46, Folder 14 Delzell 1983-1984 Box 46, Folder 15 Dyson 1983-1984

Guide to the Georg Kreisel Papers SC0136 22 SC0136 Correspondence

Box 46, Folder 16 Efron 1983-1984 Box 46, Folder 17 Engeler 1983-1984 Box 46, Folder 18 Ershov 1983-1984 Box 46, Folder 19 Farmer 1983-1984 Box 46, Folder 20 Feferman 1983-1984 Box 46, Folder 21 Follesdal 1983-1984 Box 46, Folder 22 Franova 1983-1984 Box 46, Folder 23 Geyer 1983-1984 Box 46, Folder 24 Girard 1983-1984 Box 46, Folder 25 Goad 1983-1984 Box 46, Folder 26 Godel, Kurt 1983-1984 Box 46, Folder 27 Godel, Rudolf 1983-1984 Box 46, Folder 28 Gordeer 1983-1984 Box 46, Folder 29 Halmos 1983-1984 Box 46, Folder 30 Hasenjager 1983-1984 Box 46, Folder 31 Hlawka 1983-1984 Box 46, Folder 32 Howard 1983-1984 Box 46, Folder 33 Jacobs 1983-1984 Box 46, Folder 34 Jager 1983-1984 Box 46, Folder 35 Jech 1983-1984 Box 46, Folder 36 Jeroslov 1983-1984 Box 46, Folder 37 Jockusch 1983-1984 Box 46, Folder 38 Jost 1983-1984 Box 46, Folder 39 Kleene 1983-1984 Box 46, Folder 40 Kolmogorov 1983-1984 Box 46, Folder 41 Krause 1983-1984 Box 46, Folder 42 Lacon 1983-1984 Box 46, Folder 43 Lenstra 1983-1984 Box 46, Folder 44 Le Veque 1983-1984 Box 46, Folder 45 Longo 1983-1984 Box 46, Folder 46 Lopez-Escobar 1983-1984 Box 46, Folder 47 Luckhardt 1983-1984 Box 46, Folder 48 Leeb 1983-1984 Box 46, Folder 49 Lyndon 1983-1984 Box 46, Folder 50 McCarthy 1983-1984 Box 47, Folder 1 MacIntyre, Angus 1983-1984 Box 47, Folder 2 MacIntyre, Angus 1983-1984 Box 47, Folder 3 McRobbie 1983-1984 Box 47, Folder 4 "Madmen" 1983-1984 Box 47, Folder 5 Manders 1983-1984 Box 47, Folder 6 Mints 1983-1984 Box 47, Folder 7 Moerdyk 1983-1984 Box 47, Folder 8 Murdoch, Iris 1983-1984 Box 47, Folder 9 Neurkirch 1983-1984 Box 47, Folder 10 Okada 1983-1984 Box 47, Folder 11 Paris 1983-1984 Box 47, Folder 12 Piattelli-Palmerini 1983-1984 Box 47, Folder 13 Pohlers 1983-1984 Box 47, Folder 14 Pour El 1983-1984 Box 47, Folder 15 Prawitz 1983-1984 Box 47, Folder 16 Sabbagh 1983-1984 Box 47, Folder 17 Schimanoritch 1983-1984 Box 47, Folder 18 Schmetter 1983-1984 Box 47, Folder 19 Schroeder, Heister 1983-1984 Box 47, Folder 20 Schwichtenberg 1983-1984 Box 47, Folder 21 Scott 1983-1984 Box 47, Folder 22 Shepherdson 1983-1984 Box 47, Folder 23 Shiner 1983-1984

Guide to the Georg Kreisel Papers SC0136 23 SC0136 Correspondence

Box 47, Folder 24 Simpson 1983-1984 Box 47, Folder 25 Sinaceur 1983-1984 Box 47, Folder 26 Solomon 1983-1984 Box 47, Folder 27 Statman 1983-1984 Box 47, Folder 28 Stegmuller 1983-1984 Box 47, Folder 29 Stepanov 1983-1984 Box 47, Folder 30 Takeuti 1983-1984 Box 47, Folder 31 Taussky, Olga 1983-1984 Box 47, Folder 32 Taussky, Olga 1983-1984 Box 47, Folder 33 Tragesser 1983-1984 Box 47, Folder 34 Troelstra 1983-1984 Box 47, Folder 35 Van den Dreis 1983-1984 Box 47, Folder 36 Van den Hoeven 1983-1984 Box 47, Folder 37 Van Heij enoort 1983-1984 Box 47, Folder 38 Verdiglione 1983-1984 Box 47, Folder 39 Viertl 1983-1984 Box 47, Folder 40 Visser 1983-1984 Box 47, Folder 41 Wainer 1983-1984 Box 47, Folder 42 Weibel 1983-1984 Box 48, Folder 1 Weingartner 1983-1984 Box 48, Folder 2 Wojtylak 1983-1984 Box 48, Folder 3 Hustholz 1983-1984 Box 48, Folder 4 Yates 1983-1984 Box 48, Folder 5 Zassenhas 1983-1984 Box 48, Folder 6 Ziegler 1983-1984 Box 48, Folder 7 Evaluations 1983-1984 Box 48, Folder 8 Contemporary Logic, mss 1984 Box 48, Folder 9 Thinking About Man: Hardware, Software, and Wetware, Tokyo, mss 1984 Box 48, Folder 10 Twentieth Century Philosophy of Mathematics, mss 1984 Box 48, Folder 11 Lectures in Germany 1983 Box 48, Folder 12 Royal Society Meeting, "Aspects of Gene Expression and Its Control" 1984 Box 49, Folder 1 Almog 1984 Box 49, Folder 2 Anellis 1984 Box 49, Folder 3 Baaz 1984 Box 49, Folder 4 Crick 1984 Box 49, Folder 5 Crossley 1984 Box 49, Folder 6 del Franco 1984 Box 49, Folder 7 Delzell 1984 Box 49, Folder 8 Dyson 1984 Box 49, Folder 9 Etfron 1984 Box 49, Folder 10 Engeler 1984 Box 49, Folder 11 Feferman 1984 Box 49, Folder 12 Hegeler Institute 1984 Box 49, Folder 13 Friedman 1984 Box 49, Folder 14 Geyer 1984 Box 49, Folder 15 Götschel 1984 Box 49, Folder 16 Hofmann 1984 Box 49, Folder 17 Lopez-Escobar 1984 Box 49, Folder 18 Longo 1984 Box 49, Folder 19 Luckhardt 1984 Box 49, Folder 20 MacIntyre 1984 Box 49, Folder 21 "Mad Woman" 1984 Box 49, Folder 22 Malinowski 1984 Box 49, Folder 23 McCarty 1984 Box 49, Folder 24 Morovisik 1984 Box 49, Folder 25 Minto 1984 Box 49, Folder 26 Murdoch 1984 Box 49, Folder 27 Nedo 1984

Guide to the Georg Kreisel Papers SC0136 24 SC0136 Correspondence

Box 49, Folder 28 Otte 1984 Box 49, Folder 29 Salecker 1984 Box 49, Folder 30 Scedrov 1984 Box 49, Folder 31 Schimanovich 1984 Box 49, Folder 32 Schmel 1984 Box 49, Folder 33 Schwichteng 1984 Box 49, Folder 34 Scott 1984 Box 49, Folder 35 Shanker 1984 Box 49, Folder 36 Simon 1984 Box 49, Folder 37 Sinacuer 1984 Box 49, Folder 38 Suppes 1984 Box 49, Folder 39 Takeuti 1984 Box 49, Folder 40 Taussky 1984 Box 49, Folder 41 Tragesser 1984 Box 49, Folder 42 Van Heijenoort 1984 Box 49, Folder 43 Vissel 1984 Box 49, Folder 44 Weingartner 1984 Box 49, Folder 45 Wojtilach 1984 Box 49, Folder 46 Yalom 1984 Box 49, Folder 47 Yates 1984 Box 49, Folder 48 Seminar 1984 Box 49, Folder 49 Introduction to Philosophy Box 49, Folder 50 Lectures Box 49, Folder 51 Evaluations 1984 Box 50, Folder 1 Correspondence Box 50, Folder 2 Correspondence Box 50, Folder 3 Correspondence Box 50, Folder 4 Correspondence Box 50, Folder 5 Letters to others about Godel Box 50, Folder 6 Writings on/evaluations of Godel's work Box 50, Folder 7 Royal Society obituary by Kreisel Box 50, Folder 8 Interview with Kreisel about Godel Box 50, Folder 9 Letters about the future of Godel's papers Box 50, Folder 10 Letters to Godel from others Box 50, Folder 11 Miscellaneous papers Box 50, Folder 12 Kreisel's memoir about Godel Box 51, Folder 1 Drafts of the memoir Box 51, Folder 2 Drafts of the memoir Additional materials Accession ARCH_2015_100

box 1 Kreisel, Introduction to philosophy through problems in mathematics, (tss), c. 2 undated Evaluations

box 22, folder 1 re A – H (includes "anonymous") box 22, folder 2 re I – O box 22, folder 3 re P – Z box 22, folder 4 re more than one individual Notes (Seminars, Lectures, etc. – published and unpublished), manuscripts, publications

box 22, folder 5 Abstract structures [seminar notes] box 22, folder 6 Algebraic proof theory [seminar notes] Autumn 1969 box 22, folder 7 Applications of Proof Theory to Computer Science [technical report] box 22, folder 8 Axiomatic Systems; Foundational Uses of Proof Theory [unpublished lectures] ca. 1966 box 22, folder 9 Axiomatic Systems; Foundational Uses of Proof Theory [unpublished lectures] box 22, folder 10 Computations and Formal Deductions; Markov's Principle box 22, folder 11 Elementary Logic [lecture notes]

Guide to the Georg Kreisel Papers SC0136 25 SC0136 Notes (Seminars, Lectures, etc. – published and unpublished), manuscripts, publications

box 22, folder 12 Elements of Mathematical Logic: Model Theory by Krivine, Kreisel, 1967 [notes and revisions] box 23, folder 1 Five Notes on Transfinite Progression [technical report] 1962-07-31 box 23, folder 2 Formal Rules and Questions of Justifying Mathematical Practices; What have we learned from Hilbert's Second Problem?; Some Purposes of Generalizing Recursive Theory [rough drafts] box 23, folder 3 French course [lecture notes] 1960-1961 box 23, folder 4 Memo to Barwise, Mints, Simpson, Statman, Stavi re research problems box 23, folder 5 Metarecursion Theory box 23, folder 6 Model Theory; AC; Bar Recursion [notes] box 23, folder 7 Nervous System [lecture notes] 1954 box 23, folder 8 Non-uniqueness Results for Transfinite Progressions [technical report], 2/22/61 box 23, folder 9 Publications, correspondence regarding [North Holland Publishing co. and others] box 23, folder 10 Fundamental Concepts of Intuitionistic Mathematics, UCLA [lecture notes], 1973 box 23, folder 11 Fundamental Concepts of Intuitionistic Mathematics, UCLA [lecture notes], 1973 box 24, folder 1 Der unheilvolle Einbruch der Logik in die Mathematik [first lecture on Wittgenstin, manuscript] 1975 box 24, folder 2 Weak Completeness of Intuitionistic Predicate Logic [technical report] and other articles 1/27/61 box 24, folder 3 Diary 1957-1958 box 24, folder 4 Diary 1959 box 24, folder 5 Diary [problems and theorems] 1960-1961 box 24, folder 6 Diary [problems and theorems] 1962, 1964 Articles/Lectures box 24, folder 7 Interpretations and Some Use no date> box 24, folder 7 Choice of normalization steps: a pedagogic example no date> box 24, folder 7 Explicit realization of existential theorems no date> box 24, folder 7 Models and functional interpretations no date> box 24, folder 7 Well orderings (transfinite induction) in proof theory no date> box 24, folder 7 What is a recursively analytic function of a complex variable? no date> box 24, folder 7 The meaning of Brouwer's free choice sequences no date> box 24, folder 7 Formalization of mathematical practice: analytic number theory, n.d. [written Hotel Bristol, Wien] box 24, folder 7 Bertrand Russell: Critical or speculative philosopher? Leeds, 16 Oct. 1972 box 24, folder 7 Some purposes of generalizing recursion theories [final draft] no date> box 24, folder 7 Modelltheorie und Unentscheidbarkeitsgrade no date> box 24, folder 7 Mechanical computability and physical realizability of sequences of natural numbers no date> box 24, folder 7 [untitled] first line begins "I am interested here in the refinements of . . .model theory and recursion theory. . ." n.d. box 24, folder 7 Denkpsychologische Betrachtungen im Gebiete der mathematischen Mengenlehre no date> box 24, folder 7 Explicit mathematics and explicit metamathematics no date> box 24, folder 7 Applications of model theory and proof theory no date> box 24, folder 7 Metamathematical principles needed to establish closure properties of formal systems no date> box 24, folder 7 Memo: A retrogression tendency in the study of abstract logics no date> box 24, folder 7 A neglected aspect of the formalization of informal mathematics no date> box 24, folder 8 Two specific problems in intuitionistic mathematics and metamathematics no date> box 24, folder 8 Computer Science begins where recursion theory ends no date> box 24, folder 8 History of Logic Symposium, Dec. 27, 1971 box 24, folder 8 Consumer Guide to Proof Theory no date> box 24, folder 8 Philosophy of Mathematics no date> box 24, folder 8 Logic in the Sixties (5.2.73) box 24, folder 8 Wie kam man dazu, Beweise nach ihrem Inhalt zu normalisieren? (Muenchen 15.1.73) box 24, folder 8 What use are normal derivations in (classical) analysis? no date>

Guide to the Georg Kreisel Papers SC0136 26 SC0136 Notes (Seminars, Lectures, etc. – published and unpublished), manuscripts, publications

box 24, folder 8 Begriff des formalen Systems; formale mechanische Operationen an endlichen Woertern. . ." n.d. box 24, folder 8 Was leistet die Formalisierung der modelltheoretischen Metamathematik? (Muenster, 25.1.73) box 24, folder 8 Was sind und was sollen die Funktionalinterpretationen? (Kiel, 26.1.73) box 24, folder 8 Wie die Beweistheorie zu ihren Ordinalzahlen kam, (Hannover, 19.1.73) box 24, folder 9 Additions to REVIEW (of course notes, 1973) box 24, folder 9 Further additions to REVIEW (of course notes, 1973) box 24, folder 9 What do we want to know about constructive mathematics? Aug. 1, 1973 box 24, folder 9 Conflicting requirements on formalizations of a branch of mathematics no date> box 24, folder 9 b - models: a model theory for the schema WF[R] ® TI[R,A] no date> box 24, folder 9 Notions without a definite extension no date> box 25, folder 1 [untitled] first line begins: "This note supplements the translator's sketch. . ." (re Gentzen) no date> box 25, folder 1 Facts and fantasies about logic in philosophy no date> box 25, folder 1 Natural representations of concepts and natural equivalence no date> box 25, folder 1 Applications of non-standard semantics no date> box 25, folder 1 On studying the history of philosophy no date> box 25, folder 1 Philosophy of mathematics and the Silent Majority no date> box 25, folder 1 Natural representation and identity criteria of concepts no date> box 25, folder 1 [untitled notes] first line begins: "I thought of calling this lecture Formalist principles of mathematics versus principles of formalist mathematics," n.d. box 25, folder 1 Formal systems complete for Goedel's functional interpretation (course notes Autumn 1969) box 25, folder 1 Seminar notes: Autumn 1969 – Review box 25, folder 2 What is lost by formalist foundations?, nd. box 25, folder 2 Lecture 1 – “The origins of mathematics certainly lie…” [contains proofs of the “fundamental theorem of algebra”] n.d. box 25, folder 2 Lecture 2 – “We recall that we mentioned ‘formally-real’ fiends” n.d. box 25, folder 2 Equality between simple functionals no date> box 25, folder 2 Effective versions of proofs in analytic number theory, nd. box 25, folder 2 Elements of mathematical logic (I. Semantic study of classical logic) no date> box 25, folder 2 Technical progress and the problems of philosophy no date> box 25, folder 2 Model theoretic meaning of recursive sets and effective operations no date> box 25, folder 2 Preface [to a book on mathematical logic?] and B. Foundational problems no date> box 25, folder 2 Using ordinals instead of cardinals for analyzing (infinite) prepositional logic no date> box 25, folder 2 Existential assumptions and their languages no date> box 25, folder 2 Review of Seminar [no further title, n.d.] box 25, folder 2 Infinitary languages of n-ary relations no date> box 25, folder 2 Inductive definitions, hierarchies and subclasses of the class of recursive functions no date> box 25, folder 2 Appendix B: Completeness of intuitionistic predicate logic, n.d. [also, Italian translation] box 25, folder 2 The greatest goof for the greatest number no date> box 25, folder 2 Two notes on the foundations of set theory, 1969 box 25, folder 2 On the relationship between intuitionistic and classical arithmetic (appendix I), n.d. [on verso: handwritten MS, discussion of biological phenomena and consciousness] Miscellany

box 25, folder 3 International Congress of Logicians and Mathematicians, Nice, correspondence re 1970 box 25, folder 4 International Congress of Logicians and Mathematicians, Nice, correspondence re 1970 box 25, folder 5 International Congress of Logicians and Mathematicians, Nice, correspondence re 1970

Guide to the Georg Kreisel Papers SC0136 27 SC0136 Miscellany

box 25, folder 5a International Congress of Logicians and Mathematicians, Helsinki, correspondence re [this is either folder 5 or 5a – original list unclear] 1978 box 25, folder 6 Philosophy Department, Stanford University box 25, folder 7 Unidentified fragments of letters, papers, etc. box 25, folder 8 Photographs Notes, manuscripts, lectures, publications

box 25, folder 9 Memo concerning mathematical properties of ECF, ICF, etc. Christmas 1975. BR, neighborhood functions and the theory of species. 1976-02-10 box 25, folder 10 Brouwer, L. E. J. – earlier drafts and correspondence re Kreisel’s 2nd Brouwer review box 25, folder 11 Metamathematik mit Beschraenkten Mitteln: Modellund Beweistheorie. [lecture] Muenchen 1975-04-06 box 25, folder 12 Wittgenstein – drafts and correspondence re Kreisel’s 2nd lecture on Wittgenstein, “Proofs and rules: topics for illustrating Wittgenstein’s style of thought.” 1976 Course notes, memorandum (Spring 1976) 1976

box 26, folder 1 “Half-stage Lessons” (Spring quarter 1976) [course notes] 1976 box 26, folder 1 “Comments on the papers with Mints and Simpson in Springer Lecture Notes 453 (1975) pp. 38-131” Wittgenstein colloquim 1976 Apr

box 26, folder 2 Correspondence re Kreisel’s paper on Wittgenstein; preliminary versions box 26, folder 2a Correspondence re publication of Wittgenstein Colloquium paper

Memos/course notes:

box 26, folder 3 “Realizations and realizability” box 26, folder 3 “Modelling Intuitionistic implicational logic by means of hereditarily formalized proofs and operations” Aut. 1976 box 26, folder 3 “Formal system for ILL” box 26, folder 3 “Questions related to the regular operators of Dean McCullogh” box 26, folder 3 “Data for analytic functions” box 26, folder 3 “A neglected problem concerning Kleene’s schematic S1-S9" box 26, folder 3 "Update on 2 papers reviewed in MR, 1976" box 26, folder 3 "How Large are Ramsey numbers?"

box 26, folder 4

Zurich Lecture for Eidgenossiche Technische Hochschule; "Constructivist Approaches to Logic" – paper by Kreisel and related correspondence

box 26, folder 5

Wittgenstein Lectures – book review for Bull. Of the HMS and related correspondence

box 26, folder 6

"From Science to Foundations: Justifying and unwinding Proofs." Correspondence re paper and symposium for which it was intended

box 26, folder 7

"Elementary Logic: Some Lessons from the Last 25 Years"

box 26, folder 8

"Informal Rigor and Completeness Proofs"

Guide to the Georg Kreisel Papers SC0136 28 SC0136