"This volume explores topics that lie at the core of political economy: collective choice, voting, elections, bargaining, and rebellion. It presents the main formal models used to study the behavior of individuals and groups in political contexts, from choosing public policies and participating as voters and candidates in elections, to staging revolutions. Complete mathematical proofs are provided, to clarify the assumptions and deepen understanding. Part I presents models of collective choice. The main question is whether methods exist for selecting a reasonable compromise when individuals' preferences differ. Models of voting are studied in Part II. Included are models in which the individuals differ in their preferences as well as ones in which they differ in their information. One chapter considers the implications of individuals having ethical concerns, and another studies a model of sequential voting. Models of electoral competition, under the assumption of various motivations for the candidates, are discussed in Part III. One chapter is devoted to the application of these models to the study of redistributive policy. The book concludes with Part IV, which covers models of bargaining and rebellion. The book offers a rigorous yet accessible foundation for understanding how formal tools can illuminate political phenomena."--Publisher's website.