Topologia e conjuntos em exercícios

--- forcing [2021/06/18 17:06]
hugo
+++ forcing [2022/06/16 14:28] (atual)
@@ Linha 23: / Linha 23: @@
   * [[lista:consistenciadeCH|Forcing enumeravelmente fechado e a consistência de CH]]
   * [[lista:diamante|A consistência do Princípio \(\Diamond\)]]
-  * [[lista:consistencianaosuslin|Consistência de $\neg \textbf{SH}$]]
+  * [[lista:consistencianaosuslin|Consistência de $\neg$SH]]
+  * [[lista:forcingproprio|Forcing próprio e preservação de $\omega_1$]]
 <WRAP tip>