I'm a mathematician at Stockholm University. I'm mainly interested in logic.