Characterization of the core in full domain marriage problems

In this paper, we study the core of two-sided, one-to-one matching problems. First, in a model in which agents have strict preferences over their potential mates and are allowed to remain single, we characterize the core as the unique solution that satisfies individual rationality, Pareto optimality, gender fairness, consistency, and converse consistency. Next, in a model that relaxes the constraint that agents have strict preferences over their potential mates, we show that no solution exists that satisfies Pareto optimality, anonymity, and converse consistency. In this full domain, we characterize the core by individual rationality, weak Pareto optimality, monotonicity, gender fairness, consistency, and converse consistency.