Briefe von Georg Kreisel an Dana Scott, Korrespondenz mit Dritten und Anlagen. Die Briefe Kreisels an Scott umfassen den Zeitraum 6.3.1958 bis 30.12.1963. Es handelt sich überwiegend um hs. Briefe. GK 1-1-7 ist der Durchschlag eines masch. Briefes an M.O. Rabin vom 21.9.1959. Bei den Stücken GK 1-1-25 bis -27 handelt es sich um ein auf den 1./2. Mai 1960 datiertes masch. Memorandum von Dana Scott die ersten beiden Theoreme in Kreisels Manuskript "On Weak Completeness of Intuitionistic Predicate Logic" betreffend. Kreisel hat den Text annotiert. GK 1-1-36 ist ein Ausschnitt aus der The New York Times vom 3.6.1960. Der Name Freeman J. Dyson ist markiert. GK 1-1-56 ist der Durchschlag eines hs. Briefes vom 5.1.61 an Feferman. Er enthält Korrekturen eines offenkundig gemeinsam verfaßten Manuskriptes. Siehe auch GK 1-1-147, zwei Versionen einer masch. Korrekturliste. Bei GK 1-1-99 handelt es sich um den Durchschlag eines masch. Gutachten über J. R. Myhill, offensichtlich in Bezug auf eine Berufung an das Institute for Advanced Study Princeton. GK 1-1-101 ist der Durchschlag eines masch. Briefes vom 5.2.1963 an Cohen, GK 1-1-103 der Durchschlag eines masch. Gutachtens über einen Forschungsantrag - vermutlich von Craig, GK 1-1-108 der Durchschlag eines masch. Briefes vom 25.2.1963 an S. Feferman. Bei GK 1-1-111 handelt es sich um die Kopie eines masch. Briefes vom 6.2.1963 von Saunders Mac Lane an Dana Scott. Scott hat ihn mit einer hs. Annotation versehen, Kreisel ebenso. GK 1-1-114 ist der Durchschlag eines masch. Briefes an Hao Wang vom 12.3.1963. Der Brief umfaßt 24 Seiten und stellt eine Abhandlung in zwei Teilen dar. GK 1-1-132 enthält die Durchschläge von zwei masch. Rezensionsmanuskripten. Rezensiert sind ein Artikel von Toshio Nishimura aus dem Journal Mathematical Society Japan 13 (1961) und ein Artikel von Gaisi Takeuti aus den Proceedings Japan Academy 39 (1963). Bei GK 1-1-138 handelt es sich um den Durchschlag einer undatierten masch. Notiz von Kreisel und Hao Wang. GK 1-1-139 ist der Durchschlag eines französischsprachigen masch. Briefes an Krivine vom 30.10.1963. GK 1-1-141 ist der Durchschlag eines masch. Briefes an Michael Morley vom 11.11.1963. GK 1-1-151 enthält einen hs. Brief von Rohit Parikh ohne Datierung (die Ecke mit dem Datum ist abgerissen) und die letzte Seite eines hs. Briefes von Saul Kripke. GK 1-1-152 enthält den Durchschlag eines masch. Briefes vom 5.12.1963 an D. Gilbarg und den Durchschlag eines masch. Gutachten über Cohen. GK 1-1-156 ist der Durchschlag eines masch. Briefes vom 9.12.1963 an R. Platek.
Cohen, Paul J. 1934 - 2007
Craig, William, 1918 -
Feferman, Solomom
Gilbarg, David, 1918 -
Kripke, Saul A. 1940 -
Krivine, J. L. (Jean Louis)
Mac Lane, Saunders, 1909 - 2005
Morley, Michael Darwin, 1930 -
Myhill, John
Nishimura, Toshio, 1926 -
Parikh, Rohit, 1936 -
Platek, Richard Alan
Rabin, Michael Oser, 1931 -
Scott, Dana S. (Stewart)
Takeuti, Gaisi, 1926 -
Wang, Hao, 1921 -
New York times (New York, N.Y. : 1857) |
