In this survey we review the most important aspects of Implementation theory. We present the notions of a mechanism, a social choice correspondence and that of implementation. We first review the main contributions to implementation under dominant strategies namely the impossibility theorems...