A mechanism implementing the proportional solution

We consider the problem of a commonly owned technology which transforms a single input into a single output. We are interested in implementing a social choice rule called theproportional solution. We introduce a mechanism which implements the proportional solution in Nash, strong (Nash) and undominated Nash equilibria. In the mechanism each agent announces only two numbers which can be interpreted as the total output and her share of the total input-output combination. This paper was originally titled "Doubly implementing the proportional solution." I would like to thank my advisor William Thomson for his detailed comments and suggestions. I would also like to thank Jeffrey Banks and Sung-Whee Shin for their comments. Two anonymous referees and an editor’s comments improved this paper substantially.