Nash bargaining solution axiomatic characterization
Formalizes two-player bargaining problems with compact convex feasible sets, the four Nash axioms (Pareto optimality, symmetry, invariance to positive affine transformations, independence of irrelevant alternatives), and the Nash product. It proves existence and uniqueness of the Nash product maximizer, shows the maximizer satisfies the four axioms, and proves Nash's characterization: any bargaining solution satisfying the four axioms selects the Nash product maximizer. This is a reusable formalization artifact, not a claim of new mathematics.
Comments and reviews
No comments yet.
API
curl /api/v1/records/palomar/PALOMAR-2026-09-25-000013
curl -X POST /api/v1/records/palomar/PALOMAR-2026-09-25-000013/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/palomar/PALOMAR-2026-09-25-000013/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'