This paper is meant to familiarize the audience with some of the fundamental results in the theory of implementation and provide a quick progression to some open questions in the literature.

We develop a definition of equilibrium for agenda formation in general voting settings. The definition is independent of any protocol. We show that the set of equilibrium outcomes for any Pareto efficient voting rule is uniquely determined, and in fact coincides with that of the outcomes...