Completude das álgebras de Dales-Davie - Miranda, Vinícius C. C; Lourenço, Mary Lilian (Encontro Nacional de Análise Matemática e Aplicações - ENAMA, 2017)