he/him
straffelini at ub dot edu
Gran Via de les Corts Catalanes 585
08007 Barcelona
I am a PhD student in Set Theory at the Universities of Trento and Barcelona, under the supervision of Joan Bagaria i Pigrau. The topic of my PhD research is Generic Absoluteness: which sentences are preserved by generic extensions of the universe?
Previously, I have obtained a Bachelor’s degree and a Master’s degree in Mathematics at the University of Trento. My Bachelor’s degree supervisor was professor Stefano Baratella, while my Master’s degree supervisor was professor Joan Bagaria i Pigrau.
Both theses were on the topic of the Axiom of Determinacy, with two different approaches: in my Bachelor’s thesis I studied the consequences of AD on the reals, while in my Master’s thesis I studied the proofs of consistency of AD from large cardinals.
At the UB, I co-organise (together with Jeffrey Bergfalk) the Marvelous Set Theory Reading Course, an informal reading course where we study set theory together. I also lend a hand when needed for teaching the courses in Basic Set Theory, Combinatorial Set Theory and Models of Set Theory.
Minimal Banach-Tarski Decompositions
joint work with Kilian Zambanini
to be published on Fundamenta Mathematicae.
Modernisme realizzato: il Palau de la Música Catalana
joint work with Roger Asensi i Arranz
to appear in the volume Musica e Architettura 2, published by LIM.
Terminal Absoluteness of Collapse Forcings
to become part of my PhD thesis.
Set-theoretic Relativity
joint work with Christopher Scambler.
The Inevitability of Determinacy
joint work with Christopher Scambler.
Simultaneos Sequential Compactness
joint work with Sirio Resteghini.
Higher Solovay Models
joint work with Sebastiano Thei.
[TBA]
invited talk at the Indeterminacy and the Philosophy of Mathematics Workshop in Oslo.
Terminal Absoluteness of Collapse Forcings
contributed talk at the European Set Theory Conference in Helsinki.
Relativismo in Matematica? Il paradosso di Skolem
invited talk at the Back-and-forth Lectures in Torino.
The Inevitability of Determinacy
invited talk at the SELFLARINC Workshop in Cluj-Napoca.
Higher Solovay Models
contributed talk at the Logic Colloquium 2025 in Wien.