2 papers
cs.LO2014
Automated Reasoning in Social Choice Theory - Some Remarks
Siddharth Chatterjee, Arunava Sen
Our objective in this note is to comment briefly on the newly emerging literature on computer-aided proofs in Social Choice Theory. We shall specifically comment on two papers, one…
cs.GT2010
Roberts' Theorem with Neutrality: A Social Welfare Ordering Approach
Debasis Mishra, Arunava Sen
We consider dominant strategy implementation in private values settings, when agents have multi-dimensional types, the set of alternatives is finite, monetary transfers are allowed…