Topologia e conjuntos em exercícios

Mantido pelo grupo "Topologia do Interior"

Ferramentas do usuário

Ferramentas do site

Visitou: • pesquisa • applma • start • umjogotopologico • princmaximo
start

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
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