| Issue Date | Title | Author(s) |
| 8-Jun-2015 | A few things about hyperimaginaries and stable forking | Potier, Joris |
| 18-Jan-2019 | Compactness and Löwenheim-Skolem theorems in extensions of first-order logic | Casado Telletxea, Ioar |
| 27-Jun-2018 | Complete theories of boolean algebras | Trullenque Ortiz, Clara |
| 23-Jan-2021 | La consistencia del axioma de elección y la hipótesis generalizada del continuo | Martı́nez Martı́nez, Raúl |
| 1987 | Contribuciones a la teoría abstracta de modelos | Casanovas Ruiz-Fornells, Enrique |
| 2017 | Definibilidad en estructuras matemáticas: lliçó inaugural del curs acadèmic 2016-2017, Facultat de Matemàtiques i Informàtica | Casanovas Ruiz-Fornells, Enrique |
| 2017 | Definibilitat en estructures matemàtiques | Casanovas Ruiz-Fornells, Enrique |
| 17-Jul-2012 | Forking in simple theories and CM-triviality | Palacín Cruz, Daniel |
| 24-Jan-2022 | Fraïssé Limits | Asensi Arranz, Roger |
| 2003 | The free roots of the complete graph | Casanovas Ruiz-Fornells, Enrique; Wagner, Frank O. (Frank Olaf), 1964- |
| 1980 | Kurt Goedel y la teoría de conjuntos | Casanovas Ruiz-Fornells, Enrique |
| 19-Jun-2020 | Non-finite axiomatizability of first-order Peano Arithmetic | Berdugo Parada, Sandra |
| 13-Jun-2023 | Resultados sobre la axiomatización de las teorías de conjuntos ZF y NBG | Fernández Sánchez, José María |
| 19-Jan-2020 | Solució de Löb al problema de Henkin | Vidal Agraz, Roger |
| 13-Jun-2022 | Ultraprodiucts and their application to non-standard analysis | Pérez López-Serrano, Miriam |
