Voting Method Synthesis on an Infinite Domain: A Possibility Theorem for Positive Involvement

Wesley H. Holliday

A common problem in social choice is to determine whether there is a social choice procedure, such as a voting method, satisfying some desired criteria. Computer-aided methods such…