Tax It, Trade It, Govern It: Pigou
Decision Accounting

Tax It, Trade It, Govern It: Pigou, Coase, Ostrom as Three Switches on MST

core
Core claim

Pigou, Coase, and Ostrom make the same missing coordinate visible in different ways

The paper uses the Missing System Theorem to restate externality economics as a problem of representation: system welfare W is absent from player-indexed payoff vectors under axiom A2.

diagnosis
MST diagnosis

Axiom A2 excludes system welfare from every player payoff vector

MST starts from the claim that W is not in the span of any player-indexed payoff vector. Externality problems follow because private maximization can succeed while the system coordinate deteriorates.

pigou
Pigou

Pigou works when the planner knows λW and can enforce τ = λW

Proposition E.1 defines a Pigovian regime as MST with the system price supplied exogenously. The planner observes marginal damage λW* and imposes a tax equal to it.

failure
Pigou failure mode

Capture can push the imposed tax below marginal damage

Because W is not in span(u), players have an incentive to influence the rate-setting process. The paper treats capture as the native failure mode of the imposed-price switch.

coase
Coase

Coase is the boundary where A2 fails

Proposition E.2 says the Coase theorem is the case where MST stops binding. If a property right over W can be assigned and bargained at zero transaction cost, W enters the payoff vector.

coase
Coase limit

Positive transaction costs put the case back inside MST

The paper does not treat Coase as a general escape from externality problems. It treats Coase as the limiting case where W can be traded without friction.

ostrom
Ostrom

Ostrom repairs the game through institutions rather than fiat or frictionless trade

Proposition E.3 defines self-governed commons as instances of the game-change repair R: G → G'. The institution changes the payoffs so system degradation is privately costly.

ostrom
Ostrom result

The repaired game preserves the system at equilibrium

In the paper's notation, Ostromian repair folds c back into each ui endogenously. The equilibrium of the repaired game G' preserves the system.

compare
Comparison

The three switches are impose the price, drop A2, or repair the game

The paper's comparison is structural. It does not rank tax, bargain, and govern as universal policy tools.

classroom
Teaching use

One externality can be taught as three restoration designs

The classroom move is to hold one domain fixed and ask how each tradition would restore the system coordinate.

limits
Limits

The paper is a theory map, not a domain calibration

The manuscript positions this result above applied βW domain ranking. Its claim is a representation of the externality canon, not an empirical ranking of fields or instruments.