Jump to Content

Collection Guide
Collection Title:
Collection Number:
Get Items:
Guide to the Georg Kreisel Papers
SC0136  
View entire collection guide What's This?
PDF (77.26 Kb) HTML
Search this collection
 
 
Table of contents What's This?

Collection Contents

 

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.

 

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 (SEMINAR, LECTURE, 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], 7/31/62

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/61

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 [untitled], 1957, 1958

Box 24, Folder 4

Diary [untitled], 1959

Box 24, Folder 5

Diary [untitled: problems & theorems], 1960, 1961

Box 24, Folder 6

Diary [untitled: problems & 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, 1970, correspondence re

Box 25, Folder 4

International Congress of Logicians and Mathematicians, Nice, 1970, correspondence re

Box 25, Folder 5

International Congress of Logicians and Mathematicians, Nice, 1970, correspondence re

Box 25, Folder 5a

International Congress of Logicians and Mathematicians, Helsinki, 1978, correspondence re [this is either folder 5 or 5a – original list unclear]

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. Feb. 10, 1976

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, 4.6.1975

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)

Box 26, Folder 1

“Half-stage Lessons” (Spring quarter 1976) [course notes]

Box 26, Folder 1

“Comments on the papers with Mints and Simpson in Springer Lecture Notes 453 (1975) pp. 38-131”

 

WITTGENSTEIN COLLOQUIUM (April 1976)

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"