Universidade Federal da Bahia - UFBA Instituto de Matem´ atica - IM

No se- gundo cap´ıtulo, apresentamos a demonstra¸c˜ao do Teorema A, apresentando a estabilidade de conjuntos hiperb´olicos e a demonstra¸c˜ao de que hiperbolicidade mais a

Dualizando a ´algebra de Heyting, de uma forma similar `a dualidade de Priestley, podemos construir uma semˆantica para a l´ogica intuicionista atrav´es de espa¸cos topol´ogicos

Esse trabalho ´e uma generaliza¸c˜ao de um trabalho de Keller [Ke90] no qual prova que para mapas do intervalo com finitos pontos cr´ıticos e derivada Schwarziana

Um ano mais tarde os mesmos autores anunciaram a existˆencia de uma diferencial quadr´atica holomorfa para superf´ıcies de curvatura m´edia constante em qualquer espa¸co

A prova tem como principais instrumentos t´ecnicos a constru¸c˜ao da se¸c˜ao transversal e sua folhea¸c˜ao invariante con- trativa para um mapa de Poincar´e global, que nos

Disserta¸c˜ao de Mestrado apresentada ao Colegiado da P´os-Gradua¸c˜ao em Matem´atica da Universidade Federal da Bahia como requisito parcial para obten¸c˜ao do t´ıtulo de Mestre

Na presente se¸c˜ao, usaremos o Teorema de Metriza¸c˜ao de Bing–Nagata–Smirnov para mostrar que, em um dado modelo de ZF , onde n˜ao vale AC ω restrito `as

O principal fato que permite essa decomposi¸c˜ao ´e que o radical de Jacobson pode ser escrito como a interse¸c˜ao de todos os ideais primitivos `a direita e prova-se que