Briefe von Kreisel an Dana Scott und einige Gegenbriefe, Korrespondenz mit Dritten und Anlagen. Die Korrespondenz zwischen Kreisel und Scott umfaßt den Zeitraum vom 2.1.1973 bis zum 22.12.1977. Die Stücke GK 1-4-5 bis -8, GK 1-4-11 bis -13, GK 1-4-19 bis -22, GK 1-4-27, GK 1-4-33, GK 1-4-37 und -38, GK 1-4-41 bis -44, GK 1-4-48, GK 1-4-54, GK 1-4-58 und -59, GK 1-4-63 und GK 1-4-65 betreffen eine Auseinandersetzung auf Fakultätsebene zwischen Kreisel und Harvey Friedman (siehe auch GK 1-3). Sie umfassen den Zeitraum 12.1. bis 19.6.1973. Autoren und Adressaten sind neben Kreisel selbst Julius Moravcsik, Albert H. Hastorf, Ernest Hilgard, President Lyman, Provost Miller, R. Gandy und J.C. Shepherdson. GK 1-4-15 ist die Kopie eines hs. Briefes vom 17.1.1973 an Gaisi Takeuti, GK 1-4-16 ein masch. Kurzbrief von Vivien Bane vom Springer-Verlag, GK 1-4-23 der Durchschlag eines masch. Briefes vom 18.2.1973 an Manuel Lerman, GK 1-4-24 der Durchschlag eines hs. Briefes vom 19.2.1973 an Richard Statman. Bei GK 1-4-36 handelt es sich um den Durchschlag eines masch. Briefes vom 23.4.1973 an James D. Halpern. GK 1-4-44 und -51 sind Durchschläge hs. Briefe vom 1.6. bzw. 6.6.1973 an Gabriel Dirac, GK 1-4-45 ein masch. Brief ohne Datum von Dirac, GK 1-1-57 der Durchschlag eines hs. Briefes vom 6.6.1973 an David Nivison. Bei GK 1-4-73 handelt es sich um die Kopie eines masch. Briefes von John Myhill vom 1.8.1973. Der Adressat hat den Vornamen Andrew. GK 1-4-90 ist der Durchschlag eines masch. Gutachtens. Namentlich genannt sind Kollegen aus Kreisels Fakultät in Stanford. GK 1-4-94 ist der Durchschlag eines masch. Briefes vom 7.3.1974 an Saunders Mac Lane, GK 1-4-98 ein masch. Brief vom 12.3.1974 von Mac Lane. GK 1-4-97 ist der Durchschlag eines hs. Briefes vom 11.3.1974 an Y. Ersóv, GK 1-4-99 ein masch. Kurzbrief vom 13.3.1974 von Julius Moravcsik. GK 1-4-106 enthält die Kopie eines masch. Briefes vom 30.8.1974 von George Temple an L. Fox und einen masch. Kurzbrief der Sekretärin von Fox an Dana Scott. GK 1-4-109 ist die Kopie eines masch. Briefes vom 2.4.1974 an Jon Barwise. Bei GK 1-4-110 handelt es sich um den Durchschlag eines masch. Gutachtens. Als einer der Leiter des zu begutachtenden Projektes wird John Myhill genannt. GK 1-4-116 und -121 sind Durchschläge masch. Briefe vom 7.4. und vom 19.4.1974 an Stephen G. Simpson, GK 1-4-120 ist ein hs. Entwurf zu einem Brief an Simpson und Craig Smorynski, GK 1-4-125 der Durchschlag eines masch. Briefes vom 28.4.1975 an Craig Smorynski, GK 1-4-133 ein hs. Brief vom 26.3.1976 an Smorynski. GK 1-4-126 ist die Kopie eines masch. Briefes vom 17.4.1975 von Patrick Suppes. Bei GK 1-4-128 handelt es sich um die Kopie eines masch. Vortragsmanuskriptes mit dem Titel "Metamathematik mit beschränkten Mitteln: Modell- und Beweistheorie". Diesen Vortrag hielt Kreisel am 4.6.1975 in München. GK 1-4-134 ist ein masch. Brief an Dana Scott von Derick Hetherington vom 23.7.1976. GK 1-4-147 ist die Kopie eines hs. Artikels mit dem Titel "Some problems on intuitionistic propositional logic" mit einer kurzen hs. Mitteilung an Dana Scott. GK 1-4-152 ist der Durchschlag eines masch. Briefes vom 1.2.1977 an Pantaleo Aloisio. GK 1-4-153 enthält eine hs. Mitteilung von Marcus Giaquinto an Dana Scott mit Fragen an Kreisel und die masch. Abschrift plus einen Durchschlag. GK 1-4-155 ist die Kopie eines masch. Gutachtens über Michael Beeson mit Datum vom 10.2.1976. GK 1-4-172 ist der Durchschlag eines masch. Gutachtens über Daniel Leivant mit hs. Schreiben vom 25.7.1977 an Dana Scott.
Aloisio, Pantaleo
Bane, Vivien
Barwise, Jon.
Dirac, Gabriel
Ersóv, Yuri L.
Fox, L. (Leslie)
Gandy, R. O. (Robin O.)
Giaquinto, M. (Marcus)
Halpern, James D.
Hastorf, Albert H., 1920 -
Hetherington, Derick Henry Fellowes, 1911 - 1992
Hilgard, Ernest R. (Ernest Ropiquet), 1904 - 2001
Lerman, M. (Manuel), 1943 -
Lyman, Richard W.
Mac Lane, Saunders
Miller, William F.
Moravcsik, J. E. M.
Nivison, David S.
Scott, Dana S. (Dana Stewart)
Simpson, Stephen G. (Stephen George), 1945 -
Smorynski, C.
Shepherdson, J. C.
Statman, Richard
Suppes, Patrick, 1922 -
Takeuti, Gaisi, 1926 -
Temple, George Fredrick James, 1901 - |
