Briefe von Georg Kreisel an Dana Scott und einige wenige Gegenbriefe, Korrespondenz mit Dritten und Anlagen. Die Briefe von Kreisel an Scott sind überwiegend handschriftlich und umfassen den Zeitraum vom 2.1.1964 bis 17.9.1970. Bei GK 1-2-13 handelt es sich um eine hs. Ausarbeitung mit dem Titel "Démonstration dans le cas propositionnel du théorème d'indépendance". Der Text stammt möglicherweise von J.L. Krivine. GK 1-2-15 ist die Kopie eines hs. französischsprachigen Briefes vom 7.11.1964 an Krivine. Die Stücke GK 1-2-17 bis -26 betreffen einen Druckkostenzuschuß für den Abdruck einen Artikels von Solomon Feferman. Enthalten sind eine masch. Kurznotiz von Patrick Suppes an Dana Scott, die Kopie eines masch. Briefes von Suppes an die Association for Symbolic Logic, ein hs. Brief von Feferman an Suppes, ein masch. Brief von Kreisel an David Gilbarg, ein hs. und ein masch. Brief von Feferman an Dana Scott, der Durchschlag eines masch. Briefes von Dana Scott an Kreisel und eine hs. Karte von Kreisel an Scott. Die Korrespondenz umfaßt den Zeitraum vom 13.11. bis 14.12.1964. GK 1-2-35 ist ein hs. Brief vom 28.2.1968 von Abraham Robinson. Bei GK 1-2-38 handelt es sich um einen hs. Entwurf eines Briefes an eine Person mit Vornamen John, möglicherweise John N. Crossley. GK 1-1-42 ist ein masch. Brief vom 24.4.1968 von Dana Scott an Errett Bishop, GK 1-1-43 und -44 sind Durchschläge masch. Briefe von Kreisel an Bishop vom 1. und vom 14.10.1968, GK 1-2-45 ein hs. Brief vom 15.11.1968 von Bishop an Kreisel. GK 1-2-52 ist der Durchschlag eines masch. Briefes von 12.11.1968 an G. E. Sacks, GK 1-2-58 der Durchschlag eines masch. Briefes vom 13.11.1968 an Dag Prawitz. Bei GK 1-2-59 handelt es sich um den Durchschlag eines kurzen masch. Briefes vom 28.5.1968 an J. Bit-David. Verso ist das Blatt hs. beschrieben (Teil eines Manuskriptes). GK 1-2-79 ist die Kopie eines hs. Briefes vom 23.3.1969 an W. Howard, GK 1-2-80 die Kopie eines hs. Briefes vom 18.4.1969 von A. Robinson und GK 1-2-81 die Kopie eines hs. Briefes an Robinson. Ein Blatt aus GK 1-2-83 ist verso ein masch. Brief von B. Wilcock von der Clarendon Preß (Oxford University Press). GK 1-2-97 ist ein hs. Brief vom 27.5.1969 an William Howard. Die Stücke GK 1-2-108 bis -123 betreffen den Internationalen Kongreß für Mathematische Logik 1970 in Nizza (thematischer Schwerpunkt und Rednerauswahl der Sektion Logik). Es handelt sich um Rundschreiben sowie um die Kopien masch. Briefe vom 1.10.1968 und vom 2.9.1969 an Adrian Albert, ein masch. Rundschreiben von Albert vom 10.6.1968, die Kopie eines masch. Briefes vom 18.4.1969 an J. Reichbach und um einen hs. Brief an Kleene vom September 1970.
Albert, A. Adrian (Abraham Adrian), 1905 - 1972
Bishop, Errett, 1928 - 1983
Bit-David, J.
Crossley, John N.
Gilbarg, David, 1918 -
Howard, William, 1926 -
Kleene, Stephen Cole, 1909 - 1994
Krivine, J. L. (Jean Louis)
Prawitz, Dag.
Reichbach, Julius
Robinson, Abraham, 1918 - 1974
Sacks, Gerald E.
Scott, Dana S. (Stewart)
Suppes, Patrick, 1922 -
Wilcock, B.
Oxford University Press
International Congress of Mathematicians, Nice, 1970 |
