Posterior implementation vs ex-post implementation

Posterior implementation is a weaker concept than ex-post implementation. It requires that agentsʹ strategies are optimal against othersʹ strategies, given the precise information made available by the mechanism. Whereas ex-post implementation is generically impossible, we show by example that this need not be the case for posterior implementation