Implementability (mechanism design)

In mechanism design, a social choice function is called implementable if there is an incentive-compatible mechanism that attains this function. There are several degrees of implementability which correspond to the different degrees of incentive-compatibility:

• A function is dominant-strategy implementable if it is attainable by a mechanism which is dominant-strategy-incentive-compatible (also called strategyproof).
• A function is Bayesian-Nash implementable if it is attainable by a mechanism which is Bayesian-Nash-incentive-compatible.