Dividing by Demanding: Object Division through Market Procedures

We discuss a model, in which two agents may distribute finitely many objects among themselves. The conflict is resolved by means of a market procedure. Depending on the specifications, this procedure serves to implement bargaining solutions such as the discrete Raiffa solution, the Kalai-Smorodinsky solution and the Perles-Maschler solution. The latter is axiomatized using the superadditivity axiom, which in the present context is readily interpreted as resolving a specific source of conflict potential.