Abstract
This paper investigates the computability problem of the existence of a vetoer and an oligarchy for quasi-transitive binary social choice rules (Mas-Colell and Sonnenschein in Rev Econ Stud 39:185–192, 1972) in a society with an infinite number of individuals (infinite society) according to the computable calculus (or computable analysis) by Aberth (Computable analysis, McGraw-Hill, New York, 1980; Computable calculus, Academic Press, Dublin, 2001). We will show the following results. The problem whether a quasi-transitive binary social choice rule which satisfies Pareto principle and independence of irrelevant alternatives (IIA) has a vetoer or has no vetoer in an infinite society is a nonsolvable problem, that is, there exists no ideal computer program for a quasi-transitive binary social choice rule which satisfies Pareto principle and IIA that decides whether it has a vetoer or has no vetoer. And it is equivalent to nonsolvability of the halting problem. We also show that if for any quasi-transitive binary social choice rule there exists an oligarchy in an infinite society, whether it is finite or infinite is a nonsolvable problem. A vetoer is an individual such that if he strictly prefers an alternative to another alternative, then the society prefers the former to the latter or is indifferent between them regardless of the preferences of other individuals, and an oligarchy is the minimal set of individuals which has dictatorial power and its each member is a vetoer. It will be shown that an oligarchy is a set of vetoers if it exists.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.