No online items
Collection Contents
Correspondence
A- misc.
Apt, Krystof R. – [Polish Institute for Mathematics]
B – misc.
Barendregt, H.
Barendregt, H.
Barwise, Jon
Barwise, Jon
Barwise, Jon
Beeson, Michael
Beeson, Michael
Berlin, Isaiah
Bernays, Paul
Bernays, Paul
Bernays, Paul
Bishop, Erret
Block
Boffa, M.
Browder, Felix E.
Bullard, Sir Edward
C – misc.
Cassels, J. W. S.
Cagnoni, D.
Cellucci, Carlo
Church, Alonzo
Cleave, John P.
Cohen, Paul
Cordeschi
Crick, Francis and Odile
D – misc.
DeHorney
de Jongh, Richard
Derrick
Dreben, Burton
Duchin, Peter
E – misc.
Eggenberger
Erdos, R.
Engeler, Erwin
Ershov, Y.L.
F – misc.
Feferman, Sol
Felscher, Walter
Fenstad, Erik
Franzen, T.
Friedman, Harvey
Friedman, Harvey
G – misc.
Gabbay, Dov M.
Gandy, Ro. O.
Geach, Peter
Gerber, Harvey
Grandy, Richard E.
Girard, J-Y
Girard, J-Y
Glass, A. M. W.
Godemont
Gondard
Goodman, Nicholas
Graham, R. L.
Grilliot, T.
Guaspari, David
Guillaume
H – misc.
Hajek, P.; Hanf, W. P.
Halmos
Halpern, J. D.
Harrington, L.
Heyting, A.
Howard, William
Howard, William
Howard, William
Howard, William
Howard, William
Howard, William
Howard, William
Howard, William
Howard, William
Howard, William
Howard, William
Hubner
Hyland, M.
I, J. – misc.
Jack, T.
Jacobson, Nathan
Jeroslow, Robert G.
Jeroslow, Robert G.
Jockusch, Carl
Jockusch, Carl
Joel
Jung, Joachin
K – misc.
Karp, Carol
Keisler, J. H.
Kripke, S.
Kleene, S. C.
L – misc.
Lachlan, Alistair
Lacombe, D.
Leivant, Daniel
Lerman, M.
Lerner, Manny
Levy Azriel
Lieberherr, Karl
Lifschitz (Volodya)
Littlewood
Lob, M. H.
Lopez-Escobar, E. G. K.
Lopez-Escobar, E. G. K.
Lorenzen, P. – Festschrift
Lowe, William L.
Luckhardt, Horst
M – misc.
MacIntyre
Maclane, S.
“Madmen” – Guberman
Magari, Roberto
Makowsky, J. A.
Marek, W. [Polish Institute of Mathematics]
Martin-Lof, P.
Martin-Lof, P.
Mathematical Review
Mints, G. E.
Mints, G. E.
Mints, G. E.
Monk, L.
Muller, G. H.
Murdoch, Iris
Mycielski, Jan
Myhill, John
Nelson, Edward
Nerode, Anil
0 – misc.
P – misc.
Pappinghaus, P.
Parikh, R.
Parsons, Charles
Platek, R.
Porte, Jean
Pohler, W.
Posy, Carl
Prawitz, Dag
Prawitz, Dag
Prawitz, Dag
Prawitz, Dag
Prawitz, Dag
Prawitz, Dag
Prawitz, Dag
Prawitz, Dag
Putnam, Hilary
Queneau, R.
R – misc.
Rabin, M.
Radu, E.
Rautenberg, Wolfgang
Ressayre, J. P.
Richardson, Daniel
Reinhardt
Robinson, Abraham
Robinson, Julia
Rogers, H.
Royal Society – Brouwer obituary
Royal Society – correspondence
Russell, Bertrand
S – misc.
Saarinen
Sabbagh, G.
Sabbagh, G.
Sacks, G.
Sacks, G.
Sacks, G.
Sacks, G.
Sacks, G.
Sanchis, Luis Elpidio
Scarpellini, Bruno
Schaeffer
Schutte, Kurt
Schutte – Festschrift
Schwichtenberg, Helmut
Scott, Dana
Scott, Dana
Scott, Dana
Serre
Shepherdson, J. C.
Shockley, Wm.
Shoenfield, J. R.
Shore, Richard A.
Simpson, S. G.
Slisenko, Anatole
Smorynski, Craig
Smorynski, Craig
Smorynski, Craig
Soare, Robert
Solovay, Robert M.
Spector, Clifford
Statman, Richard
Statman, Richard
Statman, Richard
Stavi, Jonathan
Steel, John
Stegmuller, W.
Suppes, Patrick
Surma
Swart, H. de
T – misc.
Tait, Ww.
Tait, W. W.
Takeuti, Gaisi
Takeuti, Gaisi
Takeuti, Gaisi
Takeuti, Gaisi
Takeuti, Gaisi
Takeuti, Gaisi
Takeuti, Gaisi
Thom, M. Rene
Thompson, David B.
Tosi
Troelstra, A. S.
Troelstra, A. S.
Troelstra, A. S.
Troelstra, A. S.
Troelstra, A. S.
Troelstra, A. S.
Troelstra, A. S.
Tselishchev
Ullman, Arthur
Unique
V – misc.
van Heijenoort, Jean
Vesley, R. E.
Ville
Vladik, B. F.
Vogel, H.
W – misc. (includes Ian Williams)
Wang, Hao
Weingartner, Paul
Wigner, Eugene
Winternitz, Robert
Yasugi
Yates, Michael
Yourgrau, Wolfgang
Ziman, J. M.
Zucker, J.
Evaluations
re A – H (includes "anonymous")
re I – O
re P – Z
re more than one individual
NOTES (SEMINAR, LECTURE, ETC. – PUBLISHED AND UNPUBLISHED), MANUSCRIPTS, PUBLICATIONS
Abstract structures [seminar notes]
Algebraic proof theory [seminar notes] Autumn 1969
Applications of Proof Theory to Computer Science [technical report]
Axiomatic Systems; Foundational Uses of Proof Theory [unpublished lectures] ca. 1966
Axiomatic Systems; Foundational Uses of Proof Theory [unpublished lectures]
Computations and Formal Deductions; Markov's Principle
Elementary Logic [lecture notes]
Elements of Mathematical Logic: Model Theory by Krivine, Kreisel, 1967 [notes and revisions]
Five Notes on Transfinite Progression [technical report], 7/31/62
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]
French course [lecture notes] 1960/61
Memo to Barwise, Mints, Simpson, Statman, Stavi re research problems
Metarecursion Theory
Model Theory; AC; Bar Recursion [notes]
Nervous System [lecture notes], 1954
Non-uniqueness Results for Transfinite Progressions [technical report], 2/22/61
Publications, correspondence regarding [North Holland Publishing co. and others]
Fundamental Concepts of Intuitionistic Mathematics, UCLA [lecture notes], 1973
Fundamental Concepts of Intuitionistic Mathematics, UCLA [lecture notes], 1973
Der unheilvolle Einbruch der Logik in die Mathematik [first lecture on Wittgenstin, manuscript] 1975
Weak Completeness of Intuitionistic Predicate Logic [technical report] and other articles 1/27/61
Diary [untitled], 1957, 1958
Diary [untitled], 1959
Diary [untitled: problems & theorems], 1960, 1961
Diary [untitled: problems & theorems], 1962, 1964
Articles/Lectures
Interpretations and Some Use no date>
Choice of normalization steps: a pedagogic example no date>
Explicit realization of existential theorems no date>
Models and functional interpretations no date>
Well orderings (transfinite induction) in proof theory no date>
What is a recursively analytic function of a complex variable? no date>
The meaning of Brouwer's free choice sequences no date>
Formalization of mathematical practice: analytic number theory, n.d. [written Hotel Bristol, Wien]
Bertrand Russell: Critical or speculative philosopher? Leeds, 16 Oct. 1972
Some purposes of generalizing recursion theories [final draft] no date>
Modelltheorie und Unentscheidbarkeitsgrade no date>
Mechanical computability and physical realizability of sequences of natural numbers no date>
[untitled] first line begins "I am interested here in the refinements of . . .model theory and recursion theory. . ." n.d.
Denkpsychologische Betrachtungen im Gebiete der mathematischen Mengenlehre no date>
Explicit mathematics and explicit metamathematics no date>
Applications of model theory and proof theory no date>
Metamathematical principles needed to establish closure properties of formal systems no date>
Memo: A retrogression tendency in the study of abstract logics no date>
A neglected aspect of the formalization of informal mathematics no date>
Two specific problems in intuitionistic mathematics and metamathematics no date>
Computer Science begins where recursion theory ends no date>
History of Logic Symposium, Dec. 27, 1971
Consumer Guide to Proof Theory no date>
Philosophy of Mathematics no date>
Logic in the Sixties (5.2.73)
Wie kam man dazu, Beweise nach ihrem Inhalt zu normalisieren? (Muenchen 15.1.73)
What use are normal derivations in (classical) analysis? no date>
Begriff des formalen Systems; formale mechanische Operationen an endlichen Woertern. . ." n.d.
Was leistet die Formalisierung der modelltheoretischen Metamathematik? (Muenster, 25.1.73)
Was sind und was sollen die Funktionalinterpretationen? (Kiel, 26.1.73)
Wie die Beweistheorie zu ihren Ordinalzahlen kam, (Hannover, 19.1.73)
Additions to REVIEW (of course notes, 1973)
Further additions to REVIEW (of course notes, 1973)
What do we want to know about constructive mathematics? Aug. 1, 1973
Conflicting requirements on formalizations of a branch of mathematics no date>
b - models: a model theory for the schema WF[R] ® TI[R,A] no date>
Notions without a definite extension no date>
[untitled] first line begins: "This note supplements the translator's sketch. . ." (re Gentzen) no date>
Facts and fantasies about logic in philosophy no date>
Natural representations of concepts and natural equivalence no date>
Applications of non-standard semantics no date>
On studying the history of philosophy no date>
Philosophy of mathematics and the Silent Majority no date>
Natural representation and identity criteria of concepts no date>
[untitled notes] first line begins: "I thought of calling this lecture Formalist principles of mathematics versus principles of formalist mathematics," n.d.
Formal systems complete for Goedel's functional interpretation (course notes Autumn 1969)
Seminar notes: Autumn 1969 – Review
What is lost by formalist foundations?, nd.
Lecture 1 – “The origins of mathematics certainly lie…” [contains proofs of the “fundamental theorem of algebra”] n.d.
Lecture 2 – “We recall that we mentioned ‘formally-real’ fiends” n.d.
Equality between simple functionals no date>
Effective versions of proofs in analytic number theory, nd.
Elements of mathematical logic (I. Semantic study of classical logic) no date>
Technical progress and the problems of philosophy no date>
Model theoretic meaning of recursive sets and effective operations no date>
Preface [to a book on mathematical logic?] and B. Foundational problems no date>
Using ordinals instead of cardinals for analyzing (infinite) prepositional logic no date>
Existential assumptions and their languages no date>
Review of Seminar [no further title, n.d.]
Infinitary languages of n-ary relations no date>
Inductive definitions, hierarchies and subclasses of the class of recursive functions no date>
Appendix B: Completeness of intuitionistic predicate logic, n.d. [also, Italian translation]
The greatest goof for the greatest number no date>
Two notes on the foundations of set theory, 1969
On the relationship between intuitionistic and classical arithmetic (appendix I), n.d. [on verso: handwritten MS, discussion of biological phenomena and consciousness]
Miscellany
International Congress of Logicians and Mathematicians, Nice, 1970, correspondence re
International Congress of Logicians and Mathematicians, Nice, 1970, correspondence re
International Congress of Logicians and Mathematicians, Nice, 1970, correspondence re
International Congress of Logicians and Mathematicians, Helsinki, 1978, correspondence re [this is either folder 5 or 5a – original list unclear]
Philosophy Department, Stanford University
Unidentified fragments of letters, papers, etc.
Photographs
NOTES, MANUSCRIPTS, LECTURES, PUBLICATIONS
Memo concerning mathematical properties of ECF, ICF, etc. Christmas 1975. BR, neighborhood functions and the theory of species. Feb. 10, 1976
Brouwer, L. E. J. – earlier drafts and correspondence re Kreisel’s 2nd Brouwer review
Metamathematik mit Beschraenkten Mitteln: Modellund Beweistheorie. [lecture] Muenchen, 4.6.1975
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)
“Half-stage Lessons” (Spring quarter 1976) [course notes]
“Comments on the papers with Mints and Simpson in Springer Lecture Notes 453 (1975) pp. 38-131”
WITTGENSTEIN COLLOQUIUM (April 1976)
Correspondence re Kreisel’s paper on Wittgenstein; preliminary versions
Correspondence re publication of Wittgenstein Colloquium paper
Memos/course notes:
“Realizations and realizability”
“Modelling Intuitionistic implicational logic by means of hereditarily formalized proofs and operations” Aut. 1976
“Formal system for ILL”
“Questions related to the regular operators of Dean McCullogh”
“Data for analytic functions”
“A neglected problem concerning Kleene’s schematic S1-S9"
"Update on 2 papers reviewed in MR, 1976"
"How Large are Ramsey numbers?"
Zurich Lecture for Eidgenossiche Technische Hochschule; "Constructivist Approaches to Logic" – paper by Kreisel and related correspondence
Wittgenstein Lectures – book review for Bull. Of the HMS and related correspondence
"From Science to Foundations: Justifying and unwinding Proofs." Correspondence re paper and symposium for which it was intended
"Elementary Logic: Some Lessons from the Last 25 Years"
"Informal Rigor and Completeness Proofs"