godelian

Stockholm, Sweden

people.su.se/~cesp

I'm a graduate student deeply interested in foundations (logic, set theory, model theory, metamathematics) and category theory.