Formalizing Arrow’s theorem

by Freek Wiedijk
Citations:3 - 0 self

Active Bibliography

A SYNTHESIS OF THE PROCEDURAL AND DECLARATIVE STYLES OF INTERACTIVE THEOREM PROVING – Freek Wiedijk
UITP 2010 Pollack-inconsistency – Freek Wiedijk
1 First-Order Logic Formalisation of Arrow’s Theorem – Umberto Grandi, Ulle Endriss - 2009
A Qualitative Comparison of the Suitability of Four Theorem Provers for Basic Auction Theory ⋆ – Christoph Lange, Marco B. Caminati, Manfred Kerber, Till Mossakowski, Colin Rowat, Makarius Wenzel, Wolfgang Windsteiger
3 Proof Assistants: history, ideas and future – H. Geuvers, Gl Nijmegen
www.imdea.org Arrow’s Impossibility Theorem: Two Simple Single-Profile Versions – Allanm. Feldman, Roberto Serrano, Allan M. Feldman, Roberto Serrano - 2007
3 2006b), “Arrow’s Impossibility Theorem: Two Simple Single-Profile Versions,” Brown Economics Department W.P – Allan M. Feldman, Roberto Serrano
3 Directly reflective meta-programming – Aaron Stump - 2008
15 A verifying core for a cryptographic language compiler – Lee Pike - 2006
Practising logic through the web – Freek Wiedijk
4 The QED Manifesto Revisited – Freek Wiedijk - 2007
Stateless HOL – Freek Wiedijk
Developing an Auction Theory Toolbox – Christoph Lange, Colin Rowat, Wolfgang Windsteiger, Manfred Kerber
1 Logic and Social Choice Theory – Ulle Endriss
2 An interpretation of isabelle/hol in hol light – Sean Mclaughlin
112 A proof of the Kepler conjecture – Thomas C. Hales - 1994
Vohra for encouragement, comments and suggestions. I acknowledge support from NSF – Roberto Serrano - 2003
9 The Theory of Implementation of Social Choice Rules – Roberto Serrano - 2004
12 Arrow’s Theorem as a Corollary – Klaus Nehring - 2003