Characterizations of the sequential priority rules in the assignment of object types

We study the problem of assigning object types without monetary transfer. Each type has a number of copies. Each individual is assigned at most one copy of a type. We examine some desirable axioms and study the sequential priority rules. Our main result is that the sequential priority rules are the only rules that satisfy weak non-wastefulness, weak neutrality, strategy-proofness, resource monotonicity, and bilateral consistency.