Table of Contents
Fetching ...

The Coase Theorem and Ideal Exchanges

Daniel Lü

TL;DR

Externalities challenge social efficiency, and the paper formalizes a Coase-style result within a finite, axiomatic bargaining framework. It first shows that bilateral, costless bargaining can fail to guarantee Pareto-optimal outcomes and may depend on initial endowments. By introducing ideal, multilateral exchanges (D1–D2), the authors prove a formal Coase theorem: with well-defined property rights and no transaction costs, any initial allocation converges to a Pareto-optimal state. This provides a rigorous benchmark clarifying how the structure of bargaining—especially coalition-enabled trades—matters for achieving efficient allocations in the presence of externalities.

Abstract

This paper offers a proof of the Coase theorem by formalizing the notion of ideal exchanges.

The Coase Theorem and Ideal Exchanges

TL;DR

Externalities challenge social efficiency, and the paper formalizes a Coase-style result within a finite, axiomatic bargaining framework. It first shows that bilateral, costless bargaining can fail to guarantee Pareto-optimal outcomes and may depend on initial endowments. By introducing ideal, multilateral exchanges (D1–D2), the authors prove a formal Coase theorem: with well-defined property rights and no transaction costs, any initial allocation converges to a Pareto-optimal state. This provides a rigorous benchmark clarifying how the structure of bargaining—especially coalition-enabled trades—matters for achieving efficient allocations in the presence of externalities.

Abstract

This paper offers a proof of the Coase theorem by formalizing the notion of ideal exchanges.

Paper Structure

This paper contains 6 sections, 6 theorems, 6 equations.

Key Result

Lemma 4.1

Theorems & Definitions (21)

  • Remark 3.1
  • Remark 3.2
  • Remark 3.3
  • Definition 3.4: Distribution
  • Definition 3.5: Projection Function
  • Definition 3.6: Strict Distributional Preference
  • Definition 3.7: Pareto Optimality
  • Lemma 4.1: Convergence Lemma
  • proof
  • Remark 4.2
  • ...and 11 more