||Implementation without Expected Utility: Ex-Post Verifiability
||This study investigates implementation of a social choice function with complete information, where we impose various restrictions such as boundedness, permission of only small transfers, and uniqueness of iterative dominance in strict terms. We assume that the state is ex-post verifiable after the determination of allocation. We show that with three or more players, any social choice function is uniquely and exactly implementable in iterative dominance. Importantly, this study does not assume either expected utility or quasi-linearity, even if we utilize the stochastic method of mechanism design explored by Abreu and Matsushima (1992, 1994).
||Unique and Exact Implementation, Ex-post Verifiability, Non-Expected
Utility, Abreu-Matsushima Mechanism.
||Paper in English (13 pages)