Ex-post implementation with interdependent values

We characterize ex-post implementable allocation rules for single object auctions under quasi-linear preferences with convex interdependent value functions. We show that requiring ex-post implementability is equivalent to requiring that the allocation rule must satisfy a condition that we call eventual monotonicity (EM), which is a weakening of monotonicity, a familiar condition used to characterize dominant strategy implementation.