Pr. – 3:30-7 Besprechung mit K und J. (Über das neue Repräsentationstheorem mit \(\lambda{}^+\), das er mir gestern zugeschickt hat. Das ist ein neuer, interessanter Weg, um eine induktive Methode zu spezialisieren. Ich sage wie ungefähr das Er zeigt, wie das anfangs für k Prädikate zu machen ist. Ich sage, wie ungefähr das \(\lambda{}^+\) aussehen müßte, um verschiedene Distanzen zwischen den Prädikaten zu berücksichtigen. –K. gibt eine versuchsweise \(f\)-Dichte an für 2 Familien. Auf meine Aufforderung zeigt er, dass diese Methode meine Forderung in Seminar Notes erfüllt.) – (K. geht ins Kino, um die Probleme loszuwerden.)
