𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A graph-theoretic proof of Arrow's Dictator Theorem

✍ Scribed by K.K. Nambiar; Pramod K. Varma; Vandana Saroch

Publisher
Elsevier Science
Year
1992
Tongue
English
Weight
100 KB
Volume
5
Category
Article
ISSN
0893-9659

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

A GAME-THEORETIC PROOF OF ANALYTIC RAMSE
A GAME-THEORETIC PROOF OF ANALYTIC RAMSEY THEOREM
✍ Kazuyuki Tanaka πŸ“‚ Article πŸ“… 1992 πŸ› John Wiley and Sons 🌐 English βš– 217 KB

## Abstract We give a simple game‐theoretic proof of Silver's theorem that every analytic set is Ramsey. A set __P__ of subsets of Ο‰ is called Ramsey if there exists an infinite set __H__ such that either all infinite subsets of __H__ are in __P__ or all out of __P.__ Our proof clarifies a strong c

A new proof-theoretic proof of the indep
A new proof-theoretic proof of the independence of Kirby–Paris’ Hydra Theorem
✍ Lorenzo Carlucci πŸ“‚ Article πŸ“… 2003 πŸ› Elsevier Science 🌐 English βš– 370 KB

A new proof is given for the independence of the termination of Kirby-Paris' Hydra Game from Peano Arithmetic by showing that it is strong enough to entail the termination of Gentzen's Reduction Strategy for proof ΓΏgures via an appropriate translation from derivations to hydras.

Tree enterprises and bankruptcy ventures
Tree enterprises and bankruptcy ventures A game theoretic similarity due to a graph theoretic proof
✍ Theo S.H. Driessen πŸ“‚ Article πŸ“… 1997 πŸ› Elsevier Science 🌐 English βš– 984 KB

In a tree enterprise, users reside at the nodes of the tree and their aim is to connect themselves, directly or indirectly, to the root of the tree. The construction costs of arcs of the tree are given by means of the arc-cost-function associated with the tree. Further the bankruptcy venture is desc