Simple proofs of Arrow's theorem:
- https://sites.math.rutgers.edu/~zeilberg/EM22/yu2012.pdf
- http://dido.econ.yale.edu/~gean/art/p1116.pdf
- OG video: https://www.stat.uchicago.edu/~lekheng/meetings/mathofranking/ref/arrow.pdf
Proofs of the median voter theorem:
- OG: https://www.journals.uchicago.edu/doi/10.1086/256633
- https://ocw.mit.edu/courses/14-75-political-economy-and-economic-development-fall-2012/1e6fee72b12146c5feca334f93e788b6_MIT14_75F12_Lec6.pdf
Proofs of the Chichilnisky impossibility theorem:
- https://www.sciencedirect.com/science/article/pii/0165176594900450
- OG: https://papers.ssrn.com/sol3/papers.cfm?abstract_id=1367741
Other cool theorems by Chichilnisky:
- Topological Equivalence: https://chichilnisky.com/wp-content/uploads/1982/11/The-Topological-Equivalence-of-the-Pareto-Condition-and-the-Existence-of-a-Dictator.pdf
- Social Aggregation Rules and Continuity: https://www.jstor.org/stable/1880762
Since we need to show unsatisfiability, would an SMT solver be enough?