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. Cake cutting: PROP implies EEF for additive valuations
2. EEF doesn't imply EF for additive valuations

Info:

• Depth: 4
• Number of transitive dependencies: 4

Transitive dependencies:

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