Implementation of college admission rules

Summary We consider both Nash and strong Nash implementation of various matching rules for college admissions problems. We show that all such rules are supersolutions of the stable rule. Among these rules the lower bound stable rule is implementable in both senses. The upper bound Pareto and individually rational rule is strong Nash implementable yet it is not Nash implementable. Two corollaries of interest are the stable rule is the minimal (Nash or strong Nash) implementable solution that is Pareto optimal and individually rational, and the stable rule is the minimal (Nash or strong Nash) implementable extension of any of its subsolutions.We wish to thank Professor William Thomson for his efforts in supervision as well as his useful suggestions. We are grateful to the participants in his reading class, workshops at Bilkent University, University of Rochester, and in particular Jeffrey Banks, Stephen Ching, Bhaskar Dutta, Rangarajan Sundaram and an anonymous referee for their helpful comments.