Safe implementation
论文在标准实施理论基础上引入“安全实施”要求，即不仅均衡结果、连偏离结果也必须在可接受范围内，并给出了纳什均衡下该条件成立的必要充分条件。
Implementation theory is concerned with the existence of mechanisms in which, at each state of the world, all equilibria result in outcomes that are within a given social choice correspondence (SCC). However, if agents make mistakes, if their preferences or the solution concept are misspecified, or if the designer is limited in what can be used as punishments, then it may be desirable to insist that also deviations result in “acceptable” outcomes. Safe implementation adds this extra requirement to standard implementation. Our primitives, therefore, also include an acceptability correspondence, which, like the SCC, maps states of the world to sets of allocations. When the underlying solution concept is Nash equilibrium, we identify necessary and sufficient conditions (namely, comonotonicity and safe no‐veto) that restrict the joint behavior of the SCC and of the acceptability correspondence, and that generalize Maskin's (1999) conditions. In relevant economic applications, these conditions can be quite permissive, but in “rich” preference domains, safe implementation is impossible, regardless of the solution concept.