Epistemic fairness

Dependencies:

1. Fair division

In fair division, let $F$ be a fairness notion. An allocation $A$ is said to be epistemic-$F$-fair to an agent $i$ if there exists another allocation $B$ such that $A_i = B_i$ and $B$ is $F$-fair for agent $i$.

Here $B$ is called agent $i$'s epistemic-$F$-certificate for $A$. Note that in an epistemic-$F$-fair allocation, different agents can have different certificates.

Dependency for:

1. MMS implies EEFX
2. Cake cutting: PROP implies EEF for additive valuations
3. Additive chores and binary marginals
4. MEFS but not EEF
5. MEFS but not EEF for chores
6. MMS+APS doesn't imply PROP1 for chores
7. MEFS+PROP doesn't imply EEF1 for chores
8. Share vs envy for identical valuations (chores)
9. EEF doesn't imply EF1

Info:

• Depth: 4
• Number of transitive dependencies: 4

Transitive dependencies:

1. /sets-and-relations/countable-set
2. σ-algebra
3. Set function
4. Fair division