Social Choice.Fair Division.Core

Definition Allocation formalized

Lemma Basic Welfare Lemmas staged

Definition Cardinal Fair-Division Instance formalized

Definition Cardinal-Instance Fairness and Welfare Wrappers formalized

Definition Egalitarian (Maximin) Welfare formalized

Lemma Egalitarian Welfare Lower-Bounds Utilitarian Welfare staged

Definition Envy-Free Allocation formalized

Definition Equitable Allocation formalized

Definition Fair Division Instance formalized

Definition Fair Division Solution Concept and Rule formalized

Definition Pareto Optimal Allocation formalized

Definition Proportional Allocation formalized

Definition Share Instance (No-Externality Model) formalized

Definition Utilitarian Welfare and Utilitarian Optimality formalized

Definition Utility Represents Share Preference formalized