======== Forcing ========

<WRAP tip>
Primeiramente temos algumas listas para dar um panorama geral. Os detalhes são feitos nas seguintes
</WRAP>
 
  * [[lista:ideiaGeralForcing| Ideia geral]]
  * [[lista:nomes| Nomes]]
  * [[lista:valorBooleano| Valor booleano de fórmulas]]

<WRAP tip>
Antes de fazer as listas, pode ajudar (mas não é necessário) fazer as primeiras listas sobre submodelos elementares.
</WRAP>
  
 
  * [[lista:BooleFormulas|Álgebra de Boole e valoração de fórmulas]]
  * [[lista:Aumentando o universo|Aumentando o universo]]
  * [[lista:AxSepAxPart|Axioma da Separação e Axioma das Partes]]
  * [[lista:PrincMaximo|Princípio do Máximo]]
  * [[lista:Deforcing|A definição de Forcing]]
  * [[lista:negaçãodech|A consistência de $\neg$CH]]
  * [[lista:forcingccc|Forcing ccc e preservação de cardinais]]
  * [[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$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]]