A sufficient condition for two-person ex post implementation in a general environment
This paper establishes sufficient conditions for two-person ex post implementation of a social choice set in a general environment. A single social choice function is ex post implementable if it satisfies ex post incentive compatibility (EPIC) and ex post monotonicity no veto (EMNV) conditions. A general social choice set is ex post implementable if it satisfies another condition, intersection property (IP), in addition to the above.