| Data de publicação | Data de defesa | Título | Autor(es) | Orientador(es) | Coorientador(es) |
|---|---|---|---|---|---|
| 14-set-2023 | 14-out-2022 | Abordagens da construtividade matemática | Joau e Silva, Gustavo Schmidt | Freire, Rodrigo de Alvarenga | - |
| - | 14-nov-2019 | Atualizando Kant : avaliação da identidade entre a lógica transcendental e a lógica geométrica | Violato, Daniel de Albuquerque | Freire, Rodrigo de Alvarenga | - |
| 7-ago-2019 | 28-jan-2019 | A demanda por demonstrações de consistência nos fundamentos da matemática | Ramos, Luiza Silva Porto | Freire, Rodrigo de Alvarenga | - |
| 2-dez-2025 | 8-mai-2025 | O problema do contínuo : considerações lógico-metafísicas acerca do conceito de infinito | Paiva, Emanuel Henrique Almeida de | Freire, Rodrigo de Alvarenga | - |
| 20-ago-2024 | 30-mar-2023 | Sistemas formais como formalizações de conceitos : da desinterpretação aos resultados limitativos | Maia, Mateus de Carvalho | Freire, Rodrigo de Alvarenga | - |