Provides a forum for work in economic theory that expresses economic ideas, using formal mathematical reasoning.