Giacomo Cozzi○|
about
I am currently a PhD student in mathematical logic, working at the university of Würzburg under the supervision of Anton Freund. I am also active in doing mathematics with school students.
publications
I don't really have proper publications yet.
talks
Well-ordering principles over recursive comprehension
Categorical logic and formal connections to forcing
links
math-sharing
a repository with presentation slides as well as math material for kids
slice-it-right
a simple game I made about slicing polygons (desktop only)
find me