Welcome!
My name is Andrea Volpi.
I am currently a postdoc at the department of philosophy of the University of Warsaw and I am working on the project
Structural complexity measures for foundational theories
P.I. Dr. Mateusz Łełyk.
I obtained my PhD in March 2026 at the University of Udine under the supervision of professor
Alberto Marcone,
with the thesis On some Ramsey-like statements
.
Here is my CV.
I am interested in computability theory, with a focus on foundational questions from mathematical logic.
My research so far focused on the reverse mathematics of combinatorial principles, especially from order theory
and graph theory. I am also interested in Ramsey theory, in particular in the study of Ramsey like statements using
largeness notions associated to systems of fundamental sequences or to blocks and barriers.
For more information about my research, please refer to my
research statement.
Publications and work in progress
- Path Ramsey's theorems and transitive colorings, joint with Lorenzo Carlucci and Oriola Gjetaj (in progress)
- Scott analysis of models of second-order arithmetic, joint with Mateusz Łełyk, Dariusz Kalociński and Dino Rossegger (in progress)
- Classification of ultrahomogeneous graphs and posets, joint with Jun Le Goh (in progress)
- The strength of Ramsey's theorem for α-large sets, joint with Lorenzo Carlucci and Konrad Zdanowski (submitted) arxiv:2603.22579
- Effectiveness and strong graph indivisibility, joint with Damir Dzhafarov and Reed Solomon (submitted) arXiv:2411.16950
- Reverse mathematics and dimension of posets, joint with Alberto Marcone DOI: 10.1017/jsl.2026.10213
- The barrier Ramsey theorem, joint with Alberto Marcone and Antonio Montalbán DOI: 10.1090/tran/9784
Invited talks
| Oct 2026 |
Path Ramsey theorems and transitive colorings Roma logica: the forum, ND Rome Global Gateway, Italy |
Selected talks
| Sep 2026 |
Path Ramsey theorems and transitive colorings Colloquium Logicum 2026, University of Würzburg, Germany |
| Sep 2026 |
Scott analysis of models of RCA0 Proof society 2026, Centre Paul-Langevin, France |
| Jul 2026 |
Reverse mathematics and dimension of posets Computability in Europe 2026, University of Trier, Germany |
| May 2026 |
The strength of Ramsey's theorem for α-large sets Seminar mathematical logic, University of Warsaw, Poland |
| Apr 2026 |
The strength of Ramsey's theorem for α-large sets Computational logic seminar, University of Vienna, Austria |
| Nov 2025 |
Effectiveness and strong graph indivisibility LOC3, University La Sapienza, Rome, Italy |
| Sep 2025 |
Effectiveness and strong graph indivisibility Singapore logic seminar, National University of Singapore, Singapore |
| Sep 2025 |
The barrier Ramsey theorem Proof society 2025, University of Ghent, Belgium Winner of the best student presentation award The prize was painted by Andreas Weiermann An additional prize was generously provided by Matthias Baaz |
| Jul 2025 |
The strength of Ramsey theorem for α-large sets Computability in Europe 2025, University of Lisbon, Portugal |
| Sep 2024 |
Reverse mathematics and dimension of posets XXVIII AILA logic meeting, University of Udine, Italy |
| Sep 2024 |
Classifying the pigeonhole property Models, sets and classifications PRIN meeting, University of Udine, Italy |
| Jun 2024 |
Largeness notions Logic colloquium 2024, University of Gothenburg, Sweden |
| Feb 2024 |
Reverse mathematics and dimension of posets Connecticut logic seminar, UConn, Storrs, Connecticut, US |
| Feb 2024 |
Largeness notions Computability seminar, CUNY graduate center, New York, US |
University of Udine
| Sep 2024 - May 2025 | Geometry I, B.Sc. in mathematics, Teaching assistant |
| Sep 2024 - Dec 2024 | Linear algebra, B.Sc. in engineering, Teaching assistant |
| Nov 2023 - Dec 2023 | Calculus I, B.Sc. in mathematics, Teaching assistant |
| Sep 2023 - Oct 2023 | Calculus I, B.Sc. in informatics, Teaching assistant |
| Jan 2023 - Sep 2023 | Calculus I, B.Sc. in informatics and IBML, Teaching assistant |
University of Trento
| Sep 2020 - Dec 2020 | Geometry and linear algebra, B.Sc. in engineering, Teaching assistant |
| Jan 2020 - May 2020 | Geometry and linear algebra, B.Sc. in engineering, Teaching assistant |
| Sep 2019 - Dec 2019 | Geometry I, B.Sc. in mathematics, Teaching assistant |
| Jan 2019 - May 2019 | Geometry and linear algebra, B.Sc. in engineering, Teaching assistant |
I am currently a member of these associations.
Outside the university, I am interested in chess, both as a player and as a spectator. I am also interested in a wide variety of sports both as a spectator and for betting. Among others and in order of interest (depending on the period): darts, chess, football (especially the Turkish championship), basket, tennis, volley and others.