A high court has to decide whether a lawis constitutional, unconstitutional, or interpretable. The voting system is runoff. Runoff voting systems can be interpreted both, as social choice functions or as mechanisms. It is known that, for universal domains of preferences, runoff voting systems...

We embed the problem of public school choice design in a model of local provision of education. We define cardinal (student) segregation as that emerging when families with identical ordinal preferences submit different rankings of schools in a centralised school choice procedure. With the...