Computer-aided proofs of Arrow's and other impossibility theorems

2009/03/05 by Pingzhong Tang, Fangzhen Lin · 1 citation
Computer Science · Decision Sciences · Economics, Econometrics and Finance · Mathematics · #Arrow #Arrow's impossibility theorem #Auction Theory and Applications #Base (topology) #Calculus (dental) #Compactness theorem #Computer science #Discrete mathematics #Fixed-point theorem #Fundamental theorem #Game Theory and Voting Systems #Impossibility #Logic, Reasoning, and Knowledge #Mathematical economics #Mathematical proof #Mathematics #Programming language #Proofs of Fermat's little theorem #Social choice theory #Theoretical computer science

paper · pdf · doi:10.1016/j.artint.2009.02.005

openalex publication_date 2009/03/05 · crossref created 2009/03/05 · crossref issued 2009/07/01 · crossref published 2009/07/01 · crossref published-print 2009/07/01 · crossref deposited 2019/02/08 · openalex created_date 2025/10/10 · crossref indexed 2026/06/05 · openalex updated_date 2026/08/01

Citations

• Arrow's impossibility theorem: Concise proof and infinite voters
• Social choice theory without the Pareto Principle
• A Difficulty in the Concept of Social Welfare
• Artificial intelligence: a modern approach
• Strategy-proofness and Arrow's conditions: Existence and correspondence theorems for voting procedures and social welfare functions

Cited by

• Arrow's impossibility theorem [wikipedia]