MartinoLupini
Always keep a sapphire in your mind.
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 Emeritus 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 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 Emeritus of Logic
Marvin
Mostly, the appointment that matters is this one.
Marvin is President Emeritus 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