Formalizing Arrow’s theorem

by Freek Wiedijk
Citations:3 - 0 self

Documents Related by Co-Citation

8 Social choice theory in HOL: Arrow and Gibbard-Satterthwaite – T Nipkow
4 The unity of auction theory: Milgrom’s master class – E Maskin - 2004
9 Computer-aided proofs of Arrow’s and other impossibility theorems – Fangzhen Lin, Pingzhong Tang - 2009
4 Theorema 2.0: A Graphical User Interface for a Mathematical Assistant System – Wolfgang Windsteiger
8 Discovering theorems in game theory: Two-person games with unique pure Nash equilibrium payoffs – Pingzhong Tang, Fangzhen Lin - 2007
8 The Product-Mix Auction: a New Auction Design for Differentiated Goods – Paul Klemperer, Eric Budish, Vince Crawford, Aytek Erdil, Meg Meyer, Moritz Meyer-ter-vehn
25 Three brief proofs of arrow’s impossibility theorem – John Geanakoplos - 1996
9 Isabelle/jEdit — a prover IDE within the PIDE framework – M Wenzel
50 The TPTP Problem Library and associated infrastructure: The FOF and CNF parts, v3.5.0 – G Sutcliffe
13 The TPTP Typed First-order Form with Arithmetic – Geoff Sutcliffe, Stephan Schulz, Koen Claessen, Peter Baumgartner, Technische Universität München
11 Theory Exploration Versus Theorem Proving – B Buchberger - 1999
3 An automated prover for Zermelo-Fraenkel set theory in Theorema – Wolfgang Windsteiger
1 coalitions and externalities: A comment on Maskin – Bargaining
1 Stable Sets in Three Agent Pillage Games – M Kerber, C Rowat - 2009
4 First-Order Logic Formalisation of Arrow’s Theorem – U Grandi, U Endriss - 2009
5 The Inductive and Modal Proof Theory of Aumanns Theorem on Rationality – R Vestergaard, P Lescanne, H Ono - 2006
53 The Theorema Project: A Progress Report – B Buchberger, C Dupre, T Jebelean, F Kriftner, K Nakagawa, D Vasaru, W Windsteiger - 2000
125 Proofs and refutations – I Lakatos - 1976
61 W.: Theorema: Towards computer-aided mathematical theory exploration – B Buchberger, A Craciun, T Jebelean, L Kovacs, T Kutsia, K Nakagawa, F Piroi, N Popov, J Robu, M Rosenkranz, Windsteiger - 2006