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
specialcollections@stanford.edu

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.


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.

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

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.

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

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

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

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, Folder 11A

Schwichtenberg 1977 Dec - 1978 Feb

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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]

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>

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

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"