Università di Bologna · Department of Mathematics
MartinoLupini
Always keep a sapphire in your mind.
Full Professor. Mathematical logic, and whatever it touches in the rest of mathematics.
Ciao
I am a mathematician interested in mathematical logic and its interactions with the rest of mathematics, but mostly the social media manager of the President of Logic in Bologna: Marvin.
If you are in Bologna, check out Logic in Bologna.
If you are a corgi, check out Instagram and YouTube.
If you are a logician, check out NeuroLogic.
Writing
Where the logic meets the rest
A short map of the published work. The complete list lives on the university page.
01
Polish groups
Complexity and structure for Polish and Polishable groups: computable topological abelian groups, and the heart of the abelian ones.
02
Definable homology
What homological invariants still say once they are required to be definable — Ext, lim¹, Čech cohomology — and the homological algebra of pro-Lie Polish abelian groups.
03
Operator algebras
Model theory for C*-algebras and G-C*-algebras, together with the longer invitation that sits behind that work.
04
Ramsey theory
Nonstandard methods in Ramsey theory and combinatorial number theory.
2026
Bratteli graphs
Technical report.
2026
Complexity classes of Polishable subgroups
Journal of the European Mathematical Society 28, 2197–2232.
2026
Homological algebra of pro-Lie Polish abelian groups
With Casarosa and Codenotti. Theory and Applications of Categories 45, art. 17.
2024
(Looking for) the heart of abelian Polish groups
Advances in Mathematics 453.
2024
The definable content of homological invariants I: Ext and lim¹
With Bergfalk and Panagiotopoulos. Proceedings of the London Mathematical Society 129.
2024
The definable content of homological invariants II: Čech cohomology and homotopy classification
With Bergfalk and Panagiotopoulos. Forum of Mathematics, Pi 12.
2023
Computable topological abelian groups
With Melnikov and Nies. Journal of Algebra 615.
2021
Model theory of C*-algebras
With Farah, Hart, Robert, Tikuisis, Vignati, and Winter. American Mathematical Society.
2019
Nonstandard methods in Ramsey theory and combinatorial number theory
With Di Nasso and Goldbring. Springer.
2015
Introduction to sofic and hyperlinear groups and Connes’ embedding conjecture
With Capraro. Lecture Notes in Mathematics 2136.
President of Logic
Marvin
Mostly, the appointment that matters is this one.
Marvin is President of Logic in Bologna. The mathematician above is the social media manager — photographs, captions, and the occasional seminar that happens to have a corgi in the room.
If you are in Bologna
Logic in Bologna keeps a room for logicians and the logic-curious.
Seminars, coffee, spritz, tortellini. The group’s own count, last time they published it: 62 spritz, 465 coffee breaks, 78 seminars, 6333 tortellini.
logibo.org- Post
- Full Professor
Department of Mathematics
Piazza di Porta San Donato 5
Bologna