Topologia e conjuntos em exercícios

Mantido pelo grupo "Topologia do Interior"

Ferramentas do usuário

Ferramentas do site

Visitou: • somaprodutoinfinito • omegacartesomega
start

Link para esta página de comparações

Ambos lados da revisão anterior Revisão anterior
Próxima revisão 		Revisão anterior
start [2020/04/27 23:18]
aurichi 		start [2020/11/06 16:05] (atual)
Linha 14: Linha 14:
  
 [[topologia|Aqui]] você pode encontrar diversas listas de topologia geral. Desde assuntos mais básicos, até assuntos mais avançados.  [[topologia|Aqui]] você pode encontrar diversas listas de topologia geral. Desde assuntos mais básicos, até assuntos mais avançados. 
- 
  
 ===== Conjuntos ===== ===== Conjuntos =====
  
-=== Básico ===+[[conjuntos|Aqui]] você pode encontrar diversas listas de teoria dos conjuntos. Há também algumas de submodelos elementares.
  
-  * [[lista:Enumerabilidade|Enumerabilidade]] 
-  * [[lista:funcoes|Formalização de funções e relações]] 
-  * [[lista:Incompletude| Teorema da incompletude de Gödel]] 
-  * [[lista:Schoroeder|Teorema de Cantor-Bernstein-Shoroeder]] 
-  * [[lista:BoaOrdem|Boa ordem]] 
-  * [[lista:OrdemDensa|Ordem densa]] 
-  * [[lista:Ordinais|Ordinais]] 
-  * [[lista:Arvores|Árvores]] 
-  * [[lista:Recursão|Recursão]] 
  
-=== Combinatória infinita ===+===== Forcing =====
  
-  * [[lista:dominante|Famílias dominantes e famílias ilimitadas]] +Se o seu interesse é forcing, [[forcing|aqui]] você pode encontrar algo útil. Mas, se você não tem intimidade com conjuntos, talvez seja melhor começar com eles.
-  * [[lista:quaseDisjuntas| Famílias quase disjuntas]] +
-  * [[lista:DeltaSistema|Lema do $\Delta$-sistema]] +
-  * [[lista:coloracaoInfinitos| Uma coloração estranha sobre subconjuntos infinitos de $\omega$]] +
-  * [[lista:MA|Axioma de Martin]] +
-  * [[lista:applMA|Algumas aplicações do Axioma de Martin]] +
-  * [[lista:sortidosCombinatoria| Sortidos]] +
-  * [[lista:teoremaderamsey| Teorema de Ramsey]]+
  
-=== Álgebra de Boole === 
  
-  * [[lista:AlgebraBoole|Álgebra de Boole]] +===== Aplicações =====
-  * [[lista:CorpoDeConjuntos|Corpo de conjuntos]] +
-  * [[lista:DualidadeStone|Dualidade de Stone]] +
-  * [[lista:TraducoesDS|Algumas traduções com a dualidade de Stone]]+
  
-=== Submodelos elementares ===+[[aplicacoes|Aqui]] você encontra uma miscelânea de exercícios com algumas aplicações - em geral há uma mistura de topologia e conjuntos.
  
-  * [[lista:modelos|Modelos]] +===== Problemas =====
-  * [[lista:subModelosElementares|Submodelos elementares]] +
-  * [[lista:modelosZFC|Modelos de Conjuntos]] +
-  * [[lista:AplicSubmodelosElementares|Algumas aplicações de submodelos elementares]] +
-  * [[lista:ehrenfeucht | Jogo de Ehrenfeucht]] +
-  * [[lista:nequivalencia | O Jogo de Ehrenfeucht e $n$-equivalência]] +
-  * [[lista:localidade | Localidade da lógica de primeira ordem]] +
-  * [[lista:compacidade | Teorema da Compacidade]] +
-  * [[lista:ultraprodutos | Ultraprodutos]]+
  
-=== Forcing ===+Veja também listas de [[problemasEmAberto|problemas em aberto]].
  
-<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> +===== Seminário ===== 
-Antes de fazer as listas, pode ajudar (mas não é necessário) fazer as primeiras listas sobre submodelos elementares. + 
-</WRAP> +Mantemos um seminário no ICMC-USP. Você pode encontrar as informações sobre ele [[seminario|aqui]].
-   +
-  +
-  * [[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 ===== 
-  * [[lista:compactificacoesR|Algumas compactificações de $\mathbb R$]] 
-  * [[lista:coberturaCirculos|Coberturas por círculos]] 
-  * [[lista:CHR2| CH e $\mathbb R^2$]] 
-  * [[lista:estranhosR^n| Conjuntos estranhos em $\mathbb R^n$]] 
-  * [[lista:pontoFixo| Teoremas de ponto fixo]] 
  
  
-Veja também listas de [[problemasEmAberto|problemas em aberto]]. 
  
 Informações para usuários registrados [[registrados:basico|aqui]]. Informações para usuários registrados [[registrados:basico|aqui]].
  
start.1588040339.txt.gz · Última modificação: 2020/11/06 16:03 (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