From 3faf497be7cea357f4503db65c7e0811b9fe3c98 Mon Sep 17 00:00:00 2001 From: Josia Pietsch Date: Thu, 1 Feb 2024 17:56:53 +0100 Subject: [PATCH] exam --- inputs/lecture_19.tex | 3 +++ 1 file changed, 3 insertions(+) diff --git a/inputs/lecture_19.tex b/inputs/lecture_19.tex index 6eba058..3795f80 100644 --- a/inputs/lecture_19.tex +++ b/inputs/lecture_19.tex @@ -1,5 +1,8 @@ \lecture{19}{2024-01-11}{Forcing} +Beginning with this lecture, +the material is no longer relevant for the exam. + Recall that $\exists x \in y.~ \phi$ abbreviates $\exists x.~ x \in y \land \phi$ and $\forall x \in y.~\phi$ abbreviates $\forall x.~x \in y \to \phi$.