Topologia e conjuntos em exercícios

Mantido pelo grupo "Topologia do Interior"

Ferramentas do usuário

Ferramentas do site

Visitou:
conjuntos

Diferenças

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

Link para esta página de comparações

Ambos lados da revisão anterior Revisão anterior
Próxima revisão 		Revisão anterior
conjuntos [2020/04/28 18:49]
henrique 		conjuntos [2022/01/18 08:50] (atual)
Linha 6: Linha 6:
   * [[lista:funcoes|Formalização de funções e relações]]   * [[lista:funcoes|Formalização de funções e relações]]
   * [[lista:Incompletude| Teorema da incompletude de Gödel]]   * [[lista:Incompletude| Teorema da incompletude de Gödel]]
-  * [[lista:Schoroeder|Teorema de Cantor-Bernstein-Shoroeder]]+  * [[lista:Schoroeder|Teorema de Cantor-Bernstein-Schroeder]]
   * [[lista:BoaOrdem|Boa ordem]]   * [[lista:BoaOrdem|Boa ordem]]
 +  * [[lista:Zorn|Lema de Kuratowski-Zorn (usando)]]
   * [[lista:OrdemDensa|Ordem densa]]   * [[lista:OrdemDensa|Ordem densa]]
   * [[lista:Ordinais|Ordinais]]   * [[lista:Ordinais|Ordinais]]
 +  * [[lista:ZornP|Lema de Kuratowski-Zorn (provando)]]
   * [[lista:Arvores|Árvores]]   * [[lista:Arvores|Árvores]]
   * [[lista:Recursão|Recursão]]   * [[lista:Recursão|Recursão]]
 +  * [[lista:EsquemasConjuntos|Esquemas de Conjuntos]]
 +  * [[lista:Cofinalidade|Cofinalidade]]
  
 === Combinatória infinita === === Combinatória infinita ===
  
 +  * [[lista:Aronszajn|Árvore de Aronszajn]]
   * [[lista:dominante|Famílias dominantes e famílias ilimitadas]]   * [[lista:dominante|Famílias dominantes e famílias ilimitadas]]
   * [[lista:quaseDisjuntas| Famílias quase disjuntas]]   * [[lista:quaseDisjuntas| Famílias quase disjuntas]]
Linha 20: Linha 25:
   * [[lista:coloracaoInfinitos| Uma coloração estranha sobre subconjuntos infinitos de $\omega$]]   * [[lista:coloracaoInfinitos| Uma coloração estranha sobre subconjuntos infinitos de $\omega$]]
   * [[lista:MA|Axioma de Martin]]   * [[lista:MA|Axioma de Martin]]
 +  * [[lista:aquecimentoMA|Aquecimento para o Axioma de Martin]]
   * [[lista:applMA|Algumas aplicações do Axioma de Martin]]   * [[lista:applMA|Algumas aplicações do Axioma de Martin]]
   * [[lista:sortidosCombinatoria| Sortidos]]   * [[lista:sortidosCombinatoria| Sortidos]]
   * [[lista:teoremaderamsey| Teorema de Ramsey]]   * [[lista:teoremaderamsey| Teorema de Ramsey]]
 +  * [[lista:teoremaderamseyimposivel| Genralização impossível do Teorema de Ramsey]]
 +  * [[lista:p-ponto|$p$-ponto]]
 +  * [[lista:p-ponto_jogo|Caracterização de $p$-ponto via jogos]]
 +  * [[lista:betaomega|$\beta\omega$ como espaço dos ultrafiltros em $\omega$]]
  
 === Álgebra de Boole === === Álgebra de Boole ===
Linha 30: Linha 40:
   * [[lista:DualidadeStone|Dualidade de Stone]]   * [[lista:DualidadeStone|Dualidade de Stone]]
   * [[lista:TraducoesDS|Algumas traduções com a dualidade de Stone]]   * [[lista:TraducoesDS|Algumas traduções com a dualidade de Stone]]
 +  * [[lista: AlgebraBooleCompleta|Álgebras de Boole Completas]]
  
 === Submodelos elementares === === Submodelos elementares ===
conjuntos.1588110577.txt.gz · Última modificação: 2020/11/06 16:02 (edição externa)

Ferramentas da página

Exceto onde for informado ao contrário, o conteúdo neste wiki está sob a seguinte licença: CC Attribution-Share Alike 4.0 International
CC Attribution-Share Alike 4.0 International Donate Powered by PHP Valid HTML5 Valid CSS Driven by DokuWiki