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 and LogicArtificialis.
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.
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