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

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

Usando mais uma vez a uniformidade dos cones invariantes, conseguimos resul- tados de estabilidade espectral, a saber: dada uma dinˆamica e um potencial ini- ciais fazemos

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

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

Essa identifica¸c˜ao tem uma particular importˆancia quando consideramos um repulsor conforme; uma vez que este sistema uniformemente expansor ´e topologicamente mixing podemos