| Data de publicação | Data de defesa | Título | Autor(es) | 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 | - | - |