AD no dictator

APDM pairwise decision making (the axiom

f.k.a. independence of irrelevant alternatives)

a AWP & AU & AD & APDM.

The Arrow Theorem can be expressed in various equivalent logical forms:

AT a

falsum

AT’ a