70Tagebuch 1. I. 1966 – 5. I. 1967 [Rudolf Carnap: Tagebücher], Eintrag So 9. X. 1966

(Hanneli fährt ganzen Tag nach Ojai.) – Ich an Pr. (Ich beende die Untersuchung über die versuchte Form von \(C\)-Funktion. Es gelingt nicht. Ich hätte gar nicht so viel Zeit darauf wenden sollen; ich habe ja schon 1959 solche Versuche gemacht, mit Kemeny; der glaubte, dass man zeigen könne, dass es nicht geht. Ich schreibe die Ergebnisse auf und beende die Untersuchung von 2 Familien, die ich seit 8. 9. unternommen habe. Das Hauptergebnis war wichtig. Dass \(\mathfrak{M}^{1‚2}\), gegen meine Befürchtung, doch im Einklang ist mitoOriginal als. Axiom \(A11\). 🕮\zu Dr. Straatsma\ Gordon hatte das von Anfang an geglaubt; und nun habe ich einen allgemeinen Beweis gefunden, dass es so ist. Daher ist der neue Versuch, über den ich ein ms an Gordon gab, nicht mehr so wichtig: nämlich, 2-Familien Methode basiert auf Unabhängigkeit von \(S^1\) und \(S^2\), den beiden Strukturen.) – Abends kommt Hanneli zurück; sie berichtet Gutes von Erika.