Essa é uma revisão anterior do documento!
Encontre listas de exercícios para aprender diversos tópicos. Em geral, as definições se encontram nas próprias listas e, ao entrar numa lista específica, você normalmente será informado se algum conhecimento sobre outra lista é recomendado. Dentro de um mesmo tópico, as listas estão numa sugestão de ordem de leitura, mas não necessariamente uma mais abaixo usará todas as anteriores. Se quiser, siga um dos roteiros propostos.
Você pode procurar também algum termo no índice de definições.
Esses roteiros são sugestões de caminhos curtos para se chegar nos tópicos que os nomeiam.
<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:consistencianaosuslin|Consistência de $\neg \textbf{SH}$]]
Veja também listas de problemas em aberto.
Informações para usuários registrados aqui.
Para os exercícios do curso de forcing.