Topologia e conjuntos em exercícios

--- forcing [2021/02/24 15:14]
mauricio
+++ forcing [2022/06/16 14:28] (atual)
@@ Linha 22: / Linha 22: @@
   * [[lista:forcingccc|Forcing ccc e preservação de cardinais]]
   * [[lista:consistenciadeCH|Forcing enumeravelmente fechado e a consistência de CH]]
-  * [[lista:consistencianaosuslin|Consistência de $\neg \textbf{SH}$]]
+  * [[lista:diamante|A consistência do Princípio \(\Diamond\)]]
+  * [[lista:consistencianaosuslin|Consistência de $\neg$SH]]
+  * [[lista:forcingproprio|Forcing próprio e preservação de $\omega_1$]]
 <WRAP tip>
@@ Linha 28: / Linha 30: @@
 </WRAP>
-* [[DefiniçõesImportantes|Definições]]
+  * [[DefiniçõesImportantes|Definições]]