64Tagebuch 4. I. 1962 – 22. V. 1962 [Rudolf Carnap: Tagebücher], Eintrag Fr 4. V. 1962

Fr 4 12:30-2 Lutman hier. (Zuerst ¾ Stunde noch über ihre Fragen zum Ramsey Satz. – Dann zusammen lunch. Sie will uns einladen zu einem Abendessen in einem Restaurant; Ina erklärt, dass wir nicht gern abends ausgehen.) –Ich fahre mit Lutman zum campus, 4^hVortrag von Dana Scott im Logik Colloquium („Relativer Konsistenzbeweis für Auswahlaxiom“; er hat interessante neue Ideen, Weiterführung von der Methode von Gödels „konstruktionelle Mengen“; er hat „definierbare“ und „erblich definierbare“ Mengen; ich habe vorher in Fraenkel-Bar-Hillel mein Gedächtnis 🕮 über Gödels Methode aufgefrischt.) – Ich fahre allein nach Hause. –