AgradecimentosAo Prof. Michael Forger, meu orientador, pelo incentivo, confiança, compreensão, paciência. A sua experiência como pesquisador e professor tornou possível a realização desta tese e contribuiu para a minha formação matemática e cultural.Aos meus pais, Fernando e Eideni, a quem também dedico este trabalho, pelo apoio e compreensão desde que eu decidi seguir a carreia acadêmica.Aos membros da banca examinadora, pelas correções e sugestões que que ajudaram a aumentar a legibilidade e corretude e precisão de nosso trabalho.