Arbeit an Modalitäten vorläufig aufgehört [folgende Systeme mit Regeln und Theoremen, sind fertig aufgebaut, aber noch kein Text: PL, PC, Reduktion; MPL, MPC, Reduktion der Vollständigkeitsbeweise; FL2, FC2; MFL2; MFC2, Reduktion.] Ich will von jetzt ab an Confirmation arbeiten, damit ich am Ende des Urlaubs einiges fertig habe, und wenn möglich auch Teil des MS getippt.1Nochmal die zwei Projekte ??? Das würde wichtig sein, falls ich später nochmal bei RockefellerIRockefeller Foundation nachsuchen will (Ina ist sehr dafür, unterschätzt aber die Schwierigkeiten, Verlängerung zu des Grants zu bekommen.) 🕮
