If a market is considered to be a social choice function, then the domain of admissible preferences is restricted and standard social choice theorems do not apply. A substantial body of analysis, however, strongly supports the notion that attractive strategy-proof social choice functions do not...

We consider a market for indivisible items with m buyers, each of whom wishes to buy at most one item, and m sellers, each of whom has one item to sell. The traders privately know their values/costs, which are statistically dependent. Two mechanisms for trading are considered. The buyer's bid...