Ferramentas do usuário
Essa é uma revisão anterior do documento!
Tabela de conteúdos
Aprenda topologia e conjuntos com exercícios
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.
Roteiros
Esses roteiros são sugestões de caminhos curtos para se chegar nos tópicos que os nomeiam.
Topologia
Básico
Aplicações
Intermediário
Jogos topológicos
Conjuntos
Básico
Combinatória infinita
Álgebra de Boole
Submodelos elementares
Forcing
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}$]]
Aplicações
Veja também listas de problemas em aberto.
Informações para usuários registrados aqui.
Para os exercícios do curso de forcing.
Ferramentas da página
