From 27db130a70b48bd5ed465228e8825b70eceb54e7 Mon Sep 17 00:00:00 2001 From: zeramorphic Date: Wed, 21 Feb 2024 14:36:27 +0000 Subject: [PATCH] Fix typo Signed-off-by: zeramorphic --- iii/forcing/03_forcing.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/iii/forcing/03_forcing.tex b/iii/forcing/03_forcing.tex index 48075d1..a3359cf 100644 --- a/iii/forcing/03_forcing.tex +++ b/iii/forcing/03_forcing.tex @@ -452,7 +452,7 @@ \subsection{???} \end{align*} Thus \( \dot x^G \in N \) as required. \end{proof} -To prove the generic model theorem, it now suffices to prove the remaining axioms of \( \mathf{ZF} \), which are union, power set, replacement, and separation. +To prove the generic model theorem, it now suffices to prove the remaining axioms of \( \mathsf{ZF} \), which are union, power set, replacement, and separation. We can prove the axiom of union now. \begin{lemma} Suppose \( M \) is a transitive model of \( \mathsf{ZF} \), \( \mathbb P \in M \) is a forcing poset, and \( G \subseteq \mathbb P \) is such that \( \Bbbone \in G \).