| Issue Date | Data de defesa | Title | Author(s) | Orientador(es) | Coorientador(es): |
|---|---|---|---|---|---|
| 2020 | - | An axiomatic approach to forcing and generic extensions | Freire, Rodrigo de Alvarenga | - | - |
| 10-Nov-2021 | - | Embeddability Between Orderings and GCH | Freire, Rodrigo de Alvarenga | - | - |