Impossibility theorem
Named by 3 essays across one field — each of them below, with the objects they name alongside it.
Four ways out, and what each costs
An impossibility theorem lists conditions and says no rule has them all. That leaves exactly as many escapes as there are conditions, each of them a real institution — a dictator, a two-stage procedure, a supermajority, a restricted agenda — and each escape's price can be counted rather than argued about.
The nearest consistent verdict
When a court's majorities contradict each other, one repair is to announce the consistent verdict that disagrees with the judges least. It treats the premises and the conclusion alike, which neither of the two standard procedures does. On the classic case it returns a three-way tie; on five judges, with every question weighted equally, it never returns a single answer on a troubled profile at all — and what breaks the tie is a decision about which question matters more.
Agendas that cannot contradict themselves
A court voting on two unconnected questions never contradicts itself, and neither does one voting on a chain of thresholds. A court voting on two premises and their conjunction sometimes does. What separates them is the size of the smallest sets of judgements that cannot all be true: pairs are harmless, because two majorities always share a judge, and triples are not. The same count says exactly how large a supermajority has to be to stay consistent on any agenda.
Named alongside it
The objects these essays reach for when they reach for this one.
Exhaustive searchJudgement aggregationMajority ruleCondorcet cycleQuota ruleDictatorshipDomain restrictionHamming distanceHypercubeMedian voter