theses/dissertations advising O Método das Constantes na Teoria dos Modelos em Feixes sobre uma Álgebra de Heyting. Teoria dos modelos em feixes sobre quantais idempotentes