Introduces students to some of the central formal models used in modern political economy. The course examines formal approaches to negotiation, legislative politics, electoral competition, war, and revolution. Its broader aim is to show how formal theory can simplify complex political situations, identify key mechanisms, and sharpen causal arguments. By the end of the course, students will be able to use a formal model to analyze a real-world political setting and conduct original theoretical research.