In the Department of Pure Mathematics at the University of Leeds Part of an Algebra and Logic "Gold Peak of Excellence".