Diferenças

Aqui você vê as diferenças entre duas revisões dessa página.

--- forcing [2020/11/06 16:05]
127.0.0.1 edição externa
+++ 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>
+Aqui você pode rever rapidamente definições importantes para as listas deste tópico:
+</WRAP>
+  * [[DefiniçõesImportantes|Definições]]

Topologia e conjuntos em exercícios