Counting combinatorial choice rules

I count the number of combinatorial choice rules that satisfy certain properties: Kelso–Crawford substitutability, and independence of irrelevant alternatives. The results are important for two-sided matching theory, where agents are modeled by combinatorial choice rules with these properties. The rules are a small, and asymptotically vanishing, fraction of all choice rules. But they are still exponentially more than the preference relations over individual agents—which has positive implications for the Gale–Shapley algorithm of matching theory.

[1]  Ayzerman,et al.  Theory of choice , 1995 .

[2]  Zaifu Yang,et al.  A Note on Kelso and Crawford's Gross Substitutes Condition , 2003, Math. Oper. Res..

[3]  D. Kleitman,et al.  On Dedekind’s problem: The number of monotone Boolean functions , 1969 .

[4]  R. Bailey,et al.  The number of weak orderings of a finite set , 1998 .

[5]  Faruk Gul,et al.  WALRASIAN EQUILIBRIUM WITH GROSS SUBSTITUTES , 1999 .

[6]  Marcel K. Richter,et al.  Nontransitive-nontotal consumer theory , 1986 .

[7]  H. Chernoff.  Rational Selection of Decision Functions , 1954 .

[8]  Charles Blair,et al.  The Lattice Structure of the Set of Stable Matchings with Multiple Partners , 1988, Math. Oper. Res..

[9]  A. Roth,et al.  Two-sided matching , 1990 .

[10]  Douglas H. Wiedemann,et al.  A computation of the eighth Dedekind number , 1991 .

[11]  John William Hatfield,et al.  Auctions, Matching and the Law of Aggregate Demand , 2005 .

[12]  Paul R. Milgrom,et al.  Matching with Contracts , 2005 .

[13]  Carmen Beviá,et al.  Buying several indivisible goods , 1999 .

[14]  H. Moulin,et al.  Axioms of Cooperative Decision Making. , 1990 .

[15]  V. Crawford,et al.  Job Matching, Coalition Formation, and Gross Substitutes , 1982 .

[16]  Jean-Pierre Barthélemy,et al.  An asymptotic equivalent for the number of total preorders on a finite set , 1980, Discret. Math..

[17]  H. Moulin.  Axioms of Cooperative Decision Making , 1988 .

[18]  A. Roth.  Stability and Polarization of Interests in Job Matching , 1984 .

[19]  J. Banks,et al.  Positive Political Theory I: Collective Preference , 1998 .

[20]  G. Markowsky,et al.  On Dedekind’s problem: the number of isotone Boolean functions. II , 1975 .

[21]  K. Engel.  Sperner Theory , 1996 .

[22]  Ilya Segal,et al.  The communication requirements of social choice rules and supporting budget sets , 2007, J. Econ. Theory.

[23]  Ennio Stacchetti,et al.  The English Auction with Differentiated Commodities , 2000, J. Econ. Theory.

[24]  F. Vega-Redondo.  Complex Social Networks: Econometric Society Monographs , 2007 .